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 8 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 A bibliography of natural history travel narratives A.S. Troelstra 2016 Engelska
4 CONSTRUCTIVISM IN MATH. V2 SL 123 A. S. Troelstra 1988 Okänt
5 Basic proof theory A. S. Troelstra 2000 Engelska
6 Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / A.S. Troelstra A. S. author. (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, H. Schwichtenberg. electronic resource A. S. author. (Anne Sjerp) Troelstra uuuu-uuuu Okänt

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.