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: D. Van Dalen 36 träffar

Titel Författare År Språk
1 Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic D. Lascar 1982 Okänt
2 Ancient Formal Logic A.S Troelstra 1951 Engelska
3 Foundations of Set Theory (Studies in logic and the foundations of mathematics v. 67) Yehoshua Bar-Hillel 1973 Okänt
4 Constructivism in Mathematics: An Introduction (Studies in Logic and the Foundations of Mathematics) D. van Dalen 1988 Okänt
5 Logic Colloquium '78, Proceedings of the colloquium held in Mons D. van Dalen 1979 Okänt
6 CONSTRUCTIVISM IN MATH. V2 SL 123 A. S. Troelstra 1988 Okänt
7-8 Logic and structure / Dirk van Dalen (flera utgåvor) D. van 1932- author. (Dirk) Dalen uuuu-uuuu Okänt
9-10 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 / D. Van Dalen, H. C. Doets, H. de Swart (flera utgåvor) D. van 1932- author. (Dirk) Dalen uuuu-uuuu Okänt
11 Logic Colloquium '80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 1982 Engelska
12 Provability, Computability and Reflection Logic Colloquium 1979 Engelska
13 The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 1982 Okänt
14 Constructivism in Mathematics Vol.1 A. S. Troelstra 1988 Engelska
15 Sets: Naïve, Axiomatic and Applied D. Van Dalen 1978 Engelska
16-17 Brouwer's Cambridge lectures on intuitionism (flera utgåvor) Luitzen Egbertus Jan Brouwer 2011 Engelska
18 Intuitionismus Luitzen Egbertus Jan Brouwer cop. 1992 Engelska
19 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
20 Extension problems in intuitionistic plane projective geometry Dirk van Dalen 1963 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.