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.