Proof theory and intuitionistic systems
Materias
Ediciones (3)
- Proof Theory and Intuitionistic Systems (2006)
Springer London, Limited · inglés · ISBN 9783540368755
- Proof theory and intuitionistic systems (1971)
Springer-Verlag
- Proof Theory and Intuitionistic Systems
ISBN 9780387055411


