Search results
- 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 / edited by Leon Henkin, Patrick Suppes, Alfred Tarski. Amsterdam : North-Holland Publishing Company, 1959 . xi, 488 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 - Cylindric algebras. Part I, With an introductory chapter : General theory of algebras / Leon Henkin, J. Donald Monk, Alfred Tarski. Amsterdam ; London : North-Holland Publishing Company, 1971 . vi, 508 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; translated by J. H. Woodger ; edited and introduced by John Corcoran. Indianapolis, Indiana : Hackett Publishing Company, 1990 . xxx, 506 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 - Matematičeskaja logika i jeje primenenija : sbornik statej / pod redakcijej E. Nagela, P. Sappsa i A. Tarskogo ; perevod z anglijskogo pod redakcijej A.I. Mal'ceva. Moskva : Izdatel'stvo Mir, 1965 . 341 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci LF 0 0 0 1 0 0 - Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. Mineola, New York : Dover Publications, Inc., 2010 . ix, 98 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 - Undecidable theories / by Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson. Amsterdam : North-Holland Publishing Company, 1953 . xi, 98 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 - Úvod do logiky a metodologie deduktivních věd / Alfred Tarski ; [z anglického originálu přeložil Pavel Materna]. Praha : Academia, 1969 . 245 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci LF 0 0 0 1 0 0 PRF 4 0 0 0 0 0 Z 2 0 0 0 0 0 - Úvod do logiky a metodologie deduktivních věd / Alfred Tarski ; [přeložil Pavel Materna]. Praha : Academia, nakladatelství Československé Akademie věd, 1966 . 245 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 4 0 0 0 0 0 Z 1 0 0 0 0 0