1. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
2. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
3. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
4. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
5. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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)
رده :
QA248
.
T37
1987
6. Alfred Tarski collected papers
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Collected works ، Mathematics
رده :
QA
3
.
T37
1986
7. Cardinal algebras
پدیدآورنده : TARSKI,ALFRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ALGEBRA ABSTRACT
رده :
QA
226
.
T3
8. Collected papers, Selections. 6891
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics
رده :
QA
3
.
T372
1986
9. Cylindric algebras
پدیدآورنده : / Leon Henkin, J. Donald Monk, Alfred Tarski
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Cylindric algebras
رده :
511
.
32
He-C
10. Intriduction to logic and to the methodology of deductive sciendes
پدیدآورنده : / By Alfred Tarski
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - Philosophy,Arithmetic - Foundations
رده :
510
.
1
Ta-I
11. Introducation to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع :
رده :
19688
QA
12. Introduction a la logique.
پدیدآورنده : par Alfred Tarski;traduit par Jacques Tremblay
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Mathematics--Philosophy.,Arithematic--Foundations.
13. Introduction to logic and the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : philosophy ، Mathematics,Foundations ، Arithmetic
رده :
QA
9
.
T28
1965
14. Introduction to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred.
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
QA
9
.
T3
I5
1995
15. Introduction to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,، Arithmetic -- Foundations
رده :
QA
9
.
T27E3713
1965
16. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
پدیدآورنده : \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
17. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
پدیدآورنده : /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع :
18. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
19. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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.
رده :
BC135
.
T35
1983
20. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
