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 14 träffar

Titel Författare År Språk
1 Constructivism in mathematics - an introduction Anne Sjerp Troelstra 1988 Engelska
2 Constructivism in mathematics Vol. 1 - an introduction Anne Sjerp Troelstra 1988 Engelska
3 Constructivism in mathematics Vol. 2 - an introduction Anne Sjerp Troelstra 1988 Engelska
4 Choice sequences - a chapter of intuitionistic mathematics Anne Sjerp Troelstra 1977 Engelska
5 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
6-8 Basic proof theory (flera utgåvor) Anne Sjerp Troelstra 2000 Engelska
9 Metamathematical investigation of intuitionistic arithmetic and analysis 1973 Tyska
10 Lectures on linear logic Anne Sjerp Troelstra 1991 Engelska
11 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
12 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
13 Constructivism in mathematics electronic resource : an introduction. Volume 1 / A.S. Troelstra, D. van Dalen A. S. (Anne Sjerp) Troelstra uuuu-uuuu Okänt
14 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.