Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: A.S Troelstra 13 träffar

Titel Författare År Språk
1 Constructivism in Mathematics: An Introduction (Studies in Logic and the Foundations of Mathematics) D. van Dalen 1988 Okänt
2 The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 1982 Okänt
3 Basic proof theory / A.S. Troelstra, H. Schwichtenberg. electronic resource A. S. author. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
4-5 Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / A.S. Troelstra (flera utgåvor) A. S. author. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
6 Constructivism in mathematics : an introduction. Volume 1 / A.S. Troelstra, D. van Dalen A. S. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
7 Constructivism in mathematics electronic resource : an introduction. Volume 1 / A.S. Troelstra, D. van Dalen A. S. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
8 Basic proof theory A. S. Troelstra 2000 Engelska
9 CONSTRUCTIVISM IN MATH. V2 SL 123 A. S. Troelstra 1988 Okänt
10 Constructivism in Mathematics Vol.1 A. S. Troelstra 1988 Engelska
11 Ancient Formal Logic A.S Troelstra uuuu-uuuu Okänt
12 Ancient Formal Logic A.S Troelstra 1951 Engelska
13 A bibliography of natural history travel narratives A.S. Troelstra 2016 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.