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

Titel Författare År Språk
21-23 Logic and structure (flera utgåvor) Dirk van Dalen cop. 2004 Engelska
24 Mystic, geometer, and intuitionist - the life of L.E.J. Brouwer Dirk van Dalen 1999- Engelska
25 Mystic, geometer, and intuitionist Vol. 1, The dawning revolution - the life of L.E.J. Brouwer Dirk van Dalen 1999 Engelska
26 Mystic, geometer, and intuitionist Vol. 2, Hope and disillusion - the life of L.E.J. Brouwer Dirk van Dalen 2005 Engelska
27 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
28 Sets and integration - an outline of the development Dirk van Dalen cop. 1972 Engelska
29 Computer Science Logic Dirk van Dalen 1997 Engelska
30-31 Logic and Structure (flera utgåvor) Dirk van Dalen 2004 Okänt
32 Foundations of set theory Abraham A. Fraenkel 1973 Engelska
33 Logic, Meaning and Computation : Essays in Memory of Alonzo Church Jaakko Hintikka 2001 Engelska
34 The Lvov-Warsaw School and Contemporary Philosophy Jaakko Hintikka 1998 Engelska
35 Phenomenological Aspects of Wittgenstein's Philosophy Jaakko Hintikka 1998 Engelska
36 The L. E. J. Brouwer Centenary Symposium L.E.J. Brouwer Centenary Symposium 1982 Engelska
37 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
38 Logic colloquium '80 - papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium (Praha : 1980) 1982 Engelska
39 Logic Colloquium '80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 1982 Engelska
40 Constructivism in mathematics - an introduction Anne Sjerp Troelstra 1988 Engelska

Förra sidan 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.