Hoppa till sidans huvudinnehåll

Anne S. Troelstra - Böcker

Visar alla böcker från författaren Anne S. Troelstra.
5 produkter
Del 121 - Studies in Logic and the Foundations of Mathematics

Constructivism in Mathematics, Vol 1

Av A.S. Troelstra, D. van Dalen m. fl

Inbunden, Engelska, 1988

879 kr

Skickas inom 7-10 vardagar
Del 43 - Cambridge Tracts in Theoretical Computer Science

Basic Proof Theory

Av A. S. Troelstra, H. Schwichtenberg m. fl

Häftad, Engelska, 2000

619 kr

Skickas inom 7-10 vardagar

Principles of Intuitionism

Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Av Anne S. Troelstra

Häftad, Engelska, 1969

359 kr

Skickas inom 10-15 vardagar
Del 344 - Lecture Notes in Mathematics

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Av Anne S. Troelstra

Häftad, Engelska, 1973

929 kr

Skickas inom 10-15 vardagar

Bibliography of Natural History Travel Narratives

Av Anne S. Troelstra

Inbunden, Engelska, 2017

4 439 kr

Slutsåld