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: Anne Sjerp Troelstra 17 träffar

Titel Författare År Språk
1 The L. E. J. Brouwer Centenary Symposium L.E.J. Brouwer Centenary Symposium 1982 Engelska
2 The L.E.J. Brouwer Centenary Symposium - proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 L. E. J. Brouwer Centenary Symposium (1981 : Noordwijkerhout) 1982 Engelska
3 Metamathematical investigation of intuitionistic arithmetic and analysis 1973 Tyska
4 Basic proof theory / A.S. Troelstra, H. Schwichtenberg. electronic resource A. S. author. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
5-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 (flera utgåvor) A. S. author. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
7 Constructivism in mathematics : an introduction. Volume 1 / A.S. Troelstra, D. van Dalen A. S. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
8 Constructivism in mathematics electronic resource : an introduction. Volume 1 / A.S. Troelstra, D. van Dalen A. S. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
9-11 Basic proof theory (flera utgåvor) Anne Sjerp Troelstra 2000 Engelska
12 Choice sequences - a chapter of intuitionistic mathematics Anne Sjerp Troelstra 1977 Engelska
13 Constructivism in mathematics - an introduction Anne Sjerp Troelstra 1988 Engelska
14 Constructivism in mathematics Vol. 1 - an introduction Anne Sjerp Troelstra 1988 Engelska
15 Constructivism in mathematics Vol. 2 - an introduction Anne Sjerp Troelstra 1988 Engelska
16 Lectures on linear logic Anne Sjerp Troelstra 1991 Engelska
17 Principles of intuitionism - lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y Anne Sjerp Troelstra 1969 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.