1. A formalization of set theory without variables
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
2. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
3. A formalization of set theory without variables
Author: TARSKI,ALFRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
248
.
T37
4. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
5. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
6. Alfred Tarski collected papers
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Collected works ، Mathematics
Classification :
QA
3
.
T37
1986
7. Cardinal algebras
Author: TARSKI,ALFRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ALGEBRA ABSTRACT
Classification :
QA
226
.
T3
8. Collected papers, Selections. 6891
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics
Classification :
QA
3
.
T372
1986
9. Cylindric algebras
Author: / Leon Henkin, J. Donald Monk, Alfred Tarski
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Cylindric algebras
Classification :
511
.
32
He-C
10. Intriduction to logic and to the methodology of deductive sciendes
Author: / By Alfred Tarski
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Arithmetic - Foundations
Classification :
510
.
1
Ta-I
11. Introduction a la logique.
Author: par Alfred Tarski;traduit par Jacques Tremblay
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Mathematics--Philosophy.,Arithematic--Foundations.
12. Introduction to logic and the methodology of deductive sciences
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: philosophy ، Mathematics,Foundations ، Arithmetic
Classification :
QA
9
.
T28
1965
13. Introduction to logic and to the methodology of deductive sciences
Author: Tarski, Alfred.
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
9
.
T3
I5
1995
14. Introduction to logic and to the methodology of deductive sciences
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Arithmetic -- Foundations
Classification :
QA
9
.
T27E3713
1965
15. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
Author: \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
Classification :
QA9
.
T28
16. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
Author: /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:
17. Logic, semantics, metamathematics
Author: Tarski, Alfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC
135
.
T35
18. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
19. Logic, semantics, metamathematics :papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC135
.
T35
1983
20. Logic, semantics, metamathematics: papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
Classification :
BC
135
.
T35
