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: Alfred Tarski 45 träffar

Titel Författare År Språk
1 Ordinal Algebras Alfred. Tarski 1956 Okänt
2 The Axiomatic Method Leon. Henkin 1959 Okänt
3 Undecidable Theories Alfred. Tarski 1953 Okänt
4 Einführung in die mathematische Logik und in die Methodologie der Mathematik Alfred Tarski 1937 Tyska
5 Cylindric algebras Leon Henkin 1971-9999 Engelska
6 Cylindric algebras P. 2 Leon Henkin 1985 Engelska
7 Cylindric algebras P. 1, With an introductory chapter: General theory of algebras Leon Henkin 1971 Engelska
8 Metamathematische Methoden in der Geometrie Wolfram Schwabhäuser 1983 Tyska
9 Metamatematische Methoden in der Geometrie Teil 1, Ein axiomatischer Aufbau der euklidischen Geometrie Wolfram Schwabhäuser 1983 Tyska
10 Metamatematische Methoden in der Geometrie Teil 2, Metamathematische Betrachtungen Wolfram Schwabhäuser 1983 Tyska
11 Undecidable theories Alfred Tarski 1953 Engelska
12 Der Wahrheitsbegriff in den formalisierten Sprachen Alfred Tarski 1935 Tyska
13 Introduction to logic - and to the methodology of deductive sciences Alfred Tarski 1946 Engelska
14 The axiomatic method, with special reference to geometry and physics - proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958 1959 Engelska
15 Cardinal algebras - with an appendix: Cardinal products of isomorphism types Alfred Tarski 1949 Engelska
16 Pojecie prawdy w jezykach nauk dedukcyjnych - Notion de la vérité dans les langues des sciences déductives Alfred Tarski 1933 Polska
17 Introduction à la logique Alfred Tarski 1960 Franska
18 Introduction to logic and to the methodology of deductive sciences Alfred Tarski 1946 Engelska
19 Direct decompositions of finite algebraic systems Bjarni Jónsson 1947 Engelska
20 Logic, semantics, metamathematics - papers from 1923 to 1938 Alfred Tarski 1956 Engelska

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.