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: Stig Kanger 57 träffar

Titel Författare År Språk
41 Intuitionism - an introduction Arend Heyting 1956 Engelska
42 Kontrolliertes Denken - Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften : Festschrift für Wilhelm Britzelmayr 1951 Tyska
43 Logic and abstraction - essays dedicated to Per Lindström on his fiftieth birthday 1986 Engelska
44 Logic, methodology and philosophy of science - Proceedings of the third International congress for logic, methodology and philosophy of science, Amsterdam 1967 1968 Engelska
45 Mathematical interpretation of formal systems 1955 Engelska
46 Aristotle's modal syllogisms Storrs McCall 1963 Engelska
47 Sentences undecidable in formalized arithmetic - an exposition of the theory of Kurt Gödel Andrzej Mostowski 1952 Engelska
48 Proceedings of the second Scandinavian logic symposium, held in Oslo, June 18-20, 1970 1971 Engelska
49 Proceedings of the third Scandinavian Logic Symposium 1975 Okänt
50 The mathematics of metamathematics Helena Rasiowa 1963 Engelska
51 Nomological statements and admissible operations Hans Reichenbach 1954 Engelska
52 Complete theories Abraham Robinson 1956 Engelska
53 Introduction to model theory and to the metamathematics of algebra Abraham Robinson 1963 Engelska
54 On the metamathematics of algebra Abraham Robinson 1951 Engelska
55 Many-valued logics J. Barkley Rosser 1952 Engelska
56 Ordinal algebras Alfred Tarski 1956 Engelska
57 Undecidable theories Alfred Tarski 1953 Engelska

Förra sidan 1 2 3

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.