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: Dirk. Dalen 43 träffar

Titel Författare År Språk
1 The Selected Correspondence of L.E.J. Brouwer Dirk Dalen 2011 Engelska
2 Constructivism in mathematics - an introduction Anne Sjerp Troelstra 1988 Engelska
3 Constructivism in mathematics Vol. 1 - an introduction Anne Sjerp Troelstra 1988 Engelska
4 Constructivism in mathematics Vol. 2 - an introduction Anne Sjerp Troelstra 1988 Engelska
5 Ω-bibliography of mathematical logic Vol. 6, Proof theory. Constructive mathematics Cop. 1987 Engelska
6 Mystic, geometer, and intuitionist - the life of L.E.J. Brouwer Dirk van Dalen 1999- Engelska
7 Mystic, geometer, and intuitionist Vol. 1, The dawning revolution - the life of L.E.J. Brouwer Dirk van Dalen 1999 Engelska
8 Sets - naïve, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students Dirk van Dalen 1978 Engelska
9-12 Logic and structure (flera utgåvor) Dirk van Dalen cop. 2004 Engelska
13 Logic colloquium '80 - papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium (Praha : 1980) 1982 Engelska
14 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
15 Brouwer's Cambridge lectures on intuitionism Luitzen Egbertus Jan Brouwer 1981 Engelska
16 Intuitionismus Luitzen Egbertus Jan Brouwer cop. 1992 Engelska
17 Computer science logic - 10th international workshop, CSL '96 : Annual Conference of the EACSL, Utrech, The Netherlands, September 21-27, 1996 : selected papers International Workshop on Computer Science Logic 1996) Utrecht : cop. 1997 Engelska
18 Foundations of set theory Abraham A. Fraenkel 1973 Engelska
19 Sets and integration - an outline of the development Dirk van Dalen cop. 1972 Engelska
20 Mystic, geometer, and intuitionist Vol. 2, Hope and disillusion - the life of L.E.J. Brouwer Dirk van Dalen 2005 Engelska

1 2 3 Nästa sida

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.