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

Titel Författare År Språk
1 Ordinal Algebras Alfred. Tarski 1956 Okänt
2 Undecidable Theories Alfred. Tarski 1953 Okänt
3 Theory of Models J.W. Addison 1963 Engelska
4 Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford logic guides 24) Alfred Tarski 1994 Okänt
5 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
6 Distributive and modular laws in the arithmetic of relation algebras Louise Hoy Chin 1951 Engelska
7 Provability, Computability and Reflection Lev D. Beklemishev 1959 Engelska
8 The axiomatic method - with special references to geometry and physics Leon. Henkin 2000 Engelska
9-10 Cylindric Algebras (flera utgåvor) Leon Henkin 1985 Engelska
11 Cylindric algebras P. 1, With an introductory chapter: General theory of algebras Leon Henkin 1971 Engelska
12 Cylindric algebras P. 2 Leon Henkin 1985 Engelska
13 Provability, Computability and Reflection Methodology Intl. Congress of Logic 1966 Engelska
14 Direct decompositions of finite algebraic systems Bjarni Jónsson 1947 Engelska
15 Proceedings of the Tarski symposium - an international symposium held at the University of California, Berkeley, in 1971 to honor Alfred Tarski on the occasion of his seventieth birthday Tarski Symposium 1971) (Berkeley : 1974 Engelska
16 Metamatematische Methoden in der Geometrie Teil 1, Ein axiomatischer Aufbau der euklidischen Geometrie Wolfram Schwabhäuser 1983 Tyska
17 Metamatematische Methoden in der Geometrie Teil 2, Metamathematische Betrachtungen Wolfram Schwabhäuser 1983 Tyska
18 Metamathematische Methoden in der Geometrie Wolfram Schwabhäuser 1983 Tyska
19 A Decision Method for Elementary Algebra and Geometry / Alfred Tarski, J. C. C. McKinsey Alfred Tarski uuuu-uuuu Okänt
20 Cardinal algebras - with an appendix: Cardinal products of isomorphism types Alfred Tarski 1949 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.