Ergebnisse zu
Logik / Mengenlehre

Second Italian Conference, Ciac '94, Rome, Italy, February 23 - 25, 1994. Proceedings

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Proceedings of the 4th Refinement Workshop, Organised by BCS-Facs, 9-11 January 1991, Cambridge

Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park and the Programming Research..

Metamathematical Studies

Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990

A Consistensy Proof of Classical Analysis

Proceedings. Caltech-UCLA Logic Seminar 1976-77

A Step-by-Step Guide to Learning Key Numeracy Skills

An Introduction to Mathematical Proofs

Its Origins, Development, and Influence

um estudo sobre as negações clássica, paraconsistente e paracompleta