Anne S. Troelstra - Böcker
Visar alla böcker från författaren Anne S. Troelstra.
4 produkter
4 produkter
Del 121 - Studies in Logic and the Foundations of Mathematics
Constructivism in Mathematics, Vol 1
Inbunden, Engelska, 1988
859 kr
Skickas inom 7-10 vardagar
Del 43 - Cambridge Tracts in Theoretical Computer Science
Basic Proof Theory
Häftad, Engelska, 2000
619 kr
Skickas inom 10-15 vardagar
Del 95 - Lecture Notes in Mathematics
Principles of Intuitionism
Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Häftad, Engelska, 1969
349 kr
Skickas inom 10-15 vardagar
Del 344 - Lecture Notes in Mathematics
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Häftad, Engelska, 1973
909 kr
Skickas inom 10-15 vardagar