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 |
21-24 |
Introduction to logic and to the methodology of deductive sciences
(flera utgåvor)
|
Alfred Tarski
|
1995 |
Engelska |
25 |
Introduction to logic and to the methodology of the deductive sciences
|
Alfred Tarski
|
1994 |
Engelska |
26 |
A formalization of set theory without variables
|
Alfred Tarski
|
cop. 1987 |
Engelska |
27 |
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 |
28 |
Collected papers
|
Alfred Tarski
|
1986 |
Flerspråkigt verk |
29 |
Collected papers Vol. 1, 1921-1934
|
Alfred Tarski
|
1986 |
Flerspråkigt verk |
30 |
Collected papers Vol. 2, 1935-1944
|
Alfred Tarski
|
1986 |
Flerspråkigt verk |
31 |
Collected papers Vol. 3, 1945-1957
|
Alfred Tarski
|
1986 |
Flerspråkigt verk |
32 |
Collected papers Vol. 4, 1958-1979
|
Alfred Tarski
|
1986 |
Flerspråkigt verk |
33 |
Logic, semantics, metamathematics - papers from 1923 to 1983
|
Alfred Tarski
|
1983 |
Engelska |
34 |
Ordinal algebras
|
Alfred Tarski
|
1956 |
Engelska |
35 |
Undecidable theories
|
Alfred Tarski
|
1968 |
Engelska |
36 |
Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford logic guides 24)
|
Alfred Tarski
|
1994 |
Okänt |
37 |
A formalization of set theory without variables / Alfred Tarski, Steven R. Givant
|
Alfred Tarski
|
uuuu-uuuu |
Okänt |
38 |
A Decision Method for Elementary Algebra and Geometry / Alfred Tarski, J. C. C. McKinsey
|
Alfred Tarski
|
uuuu-uuuu |
Okänt |
39 |
Introduction to Logic and to the Methodology of the Deductive Sciences
|
Alfred Tarski
|
1993 |
Okänt |
40 |
Introduction to Logic electronic resource : and to the Methodology of Deductive Sciences
|
Alfred. Tarski
|
uuuu-uuuu |
Okänt |
Förra sidan
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.