Tarski, Alfred, 1901-1983.
Tarski, Alfred
Tarski, Alfred, 1902-1983.
تارسكي، ألفرد، 1901-1983
Alfred Tarski
טרסקי, אלפרד, 1901-1983
VIAF ID: 88667191 ( Personal )
Permalink: http://viaf.org/viaf/88667191
Preferred Forms
- 100 0 _ ‡a Alfred Tarski
-
- 200 _ | ‡a Tarski ‡b Alfred ‡f 1901-1983
-
- 100 1 _ ‡a Tarski, Alfred
-
- 100 1 0 ‡a Tarski, Alfred
-
-
-
-
-
-
- 100 1 _ ‡a Tarski, Alfred ‡d 1901-1983
- 100 1 _ ‡a Tarski, Alfred ‡d 1901-1983
-
- 100 1 _ ‡a Tarski, Alfred, ‡d 1901-1983
- 100 1 _ ‡a Tarski, Alfred, ‡d 1901-1983
-
-
-
-
-
- 100 1 _ ‡a Tarski, Alfred, ‡d 1902-1983
-
-
-
-
4xx's: Alternate Name Forms (73)
5xx's: Related Names (2)
- 551 _ _ ‡a Berkeley, Calif.
- 551 _ _ ‡a Warschau
Works
Title | Sources |
---|---|
Algebraische Fassung des Massproblems | |
Eine äquivalente Formulierung des Auswahlaxioms | |
Der Aussagenkalkül und die Topologie | |
The axiomatic method in biology | |
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 | |
Ein Beitrag zur Axiomatik der Abelschen Gruppen | |
Cardinal algebras | |
CDMarc Names, 1993-03. WWW, Etats-Unis 1982-1985. Dict. critique de la communication | |
Collected papers | |
A concepção semântica da verdade : textos clássicos de Tarski | |
Cylindric algebras | |
A decision method for elementary algebra and geometry | |
Direct decompositions of finite algebraic systems | |
Distributive and modular laws in the arithmetic of relation algebras | |
Einführung in die mathematische Logik | |
Einige Betrachtungen über die Begriffe der o-Widerspruchsfreiheit und der o-Vollständigkeit | |
formalization of set theory without variables | |
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. | |
General theory of algebras | |
Geometria : dla trzeciej klasy gimnazjalnej | |
Grundzüge des Systemenkalküls. | |
Ideale in vollständigen Mengenkörpern. | |
Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen | |
Introduction à la logique | |
Introduction to logic and to the methodology of deductive sciences | |
[Korespondencja Leszka Kołakowskiego]. | |
Lectures at Unicamp in 1975 | |
List do o. Józefa M. Bocheńskiego | |
Logic, methodology and philosophy of science : proceedings of the 1960 international congress | |
Logic, semantics, metamathematics | |
O logice matematycznej i metodzie dedukcyjnej | |
Matematičeskaja logika i ee primenenija / pod red. È. Nagela, P. Sappsa i A. Tarskogo. - Moskva, 1965. | |
Matematyka : podręcznik dla klasy X korespondencyjnego liceum ogólnokształcącego | |
Metalogika | |
Metamathematische Methoden in der Geometrie | |
Philosophie de la logique et philosophie du langage. | |
Pisma logiczno-filozoficzne | |
Pojęcie prawdy w językach nauk dedukcyjnych | |
O pojęciu wynikania logicznego | |
Prawda | |
Sammlung | |
Semantic conception of truth | |
Textes choisis | |
Über additive und multiplikative Mengenkörper und Mengenfunktionen = O ciałach i funkcjach zbiorów addytywnych i multyplikatywnych | |
Über den Begriff der logischen Folgerung | |
Über einige fundamentalen Begriffe der Mathematik | |
Ein Überdeckungssatz für endliche Mengen nebst einigen Bemerkungen über die Definitionen der Endlichkeit | |
Undecidable theories | |
Untersuchungen über den Aussagenkalkül | |
Úvod do logiky a metodologie deduktivních věd | |
Uvod u matematičku logiku i metodologiju matematike | |
Uwagi w sprawie aksjomatyki algebry Boole'a | |
Der Wahrheitsbegriff in den formalisierten Sprachen | |
Das Warheitsproblem und die Idee der Semantik, eine Einführung in die Theorien | |
Works. Selections. 1986 | |
Wprowadzenie do logiki i do metodologii nauk dedukcyjnych | |
O wyrazie pierwotnym logistyki | |
Введение в логику и методологию дедуктивных наук, 1948: | |
Математическая логика и её применения | |
Теорія правди Тарського | |
מבוא ללוגיקה : ולמיתודולוגיה של המדעים הדידוקטיביים | |
مقدمة للمنطق ولمنهج البحث في العلوم الاستدلالية | |
羅輯与演繹科学方法論导論 |