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

Titel Författare År Språk
21 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
22 Sets and integration - an outline of the development Dirk van Dalen cop. 1972 Engelska
23 Computer Science Logic Dirk van Dalen 1997 Engelska
24-25 Logic and Structure (flera utgåvor) Dirk van Dalen 2004 Okänt
26 Foundations of set theory Abraham A. Fraenkel 1973 Engelska
27 Logic, Meaning and Computation : Essays in Memory of Alonzo Church Jaakko Hintikka 2001 Engelska
28 The Lvov-Warsaw School and Contemporary Philosophy Jaakko Hintikka 1998 Engelska
29 Phenomenological Aspects of Wittgenstein's Philosophy Jaakko Hintikka 1998 Engelska
30 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
31 Logic colloquium '80 - papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium (Praha : 1980) 1982 Engelska
32 Provability, Computability and Reflection Logic Colloquium 1979 Engelska
33 Constructivism in mathematics - an introduction Anne Sjerp Troelstra 1988 Engelska
34 Constructivism in mathematics Vol. 1 - an introduction Anne Sjerp Troelstra 1988 Engelska
35 Constructivism in mathematics Vol. 2 - an introduction Anne Sjerp Troelstra 1988 Engelska
36 Constructivism in Mathematics Vol.1 A. S. Troelstra 1988 Engelska
37 Ancient Formal Logic A.S Troelstra 1951 Engelska
38 L.E.J. Brouwer – Topologist, Intuitionist, Philosopher electronic resource : How Mathematics Is Rooted in Life / by Dirk van Dalen Dirk. author. van Dalen uuuu-uuuu Okänt
39 Logic and structure / by Dirk van Dalen Dirk. author. van Dalen uuuu-uuuu Okänt
40 Logic and Structure Dirk van Dalen 2004 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.