Anne S. Troelstra

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis - 1973 - Heidelberg Springer Berlin 1973 - Proceedings - Lecture Notes in Mathematics v.344 .

9783540378068


Mathematics and Statistics