Axioms for intuitionistic mathematics incompatible with classical logic
de A. S. Troelstra · Publicada por primera vez en 1975
Materias
Ediciones (1)
- Axioms for intuitionistic mathematics incompatible with classical logic (1975)
Mathematisch Instituut · inglés