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 van Dalen 38 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 Ω-bibliography of mathematical logic Vol. 6, Proof theory. Constructive mathematics Cop. 1987 Engelska
5 Mystic, geometer, and intuitionist - the life of L.E.J. Brouwer Dirk van Dalen 1999- Engelska
6 Mystic, geometer, and intuitionist Vol. 1, The dawning revolution - the life of L.E.J. Brouwer Dirk van Dalen 1999 Engelska
7 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
8-11 Logic and structure (flera utgåvor) Dirk van Dalen cop. 2004 Engelska
12 Logic colloquium '80 - papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium (Praha : 1980) 1982 Engelska
13 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
14 Brouwer's Cambridge lectures on intuitionism Luitzen Egbertus Jan Brouwer 1981 Engelska
15 Intuitionismus Luitzen Egbertus Jan Brouwer cop. 1992 Engelska
16 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
17 Foundations of set theory Abraham A. Fraenkel 1973 Engelska
18 Sets and integration - an outline of the development Dirk van Dalen cop. 1972 Engelska
19 Mystic, geometer, and intuitionist Vol. 2, Hope and disillusion - the life of L.E.J. Brouwer Dirk van Dalen 2005 Engelska
20 Computer Science Logic Dirk van Dalen 1997 Engelska

1 2 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.