101. A course on mathematical logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
102. A course on mathematical logic
Author: Shashi Mohan Srivastava
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
S65
2013
103. A course on mathematical logic
Author: / Shashi Mohan Srivastava
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
104. A first course in logic
Author: / Shawn Shawn
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical
Classification :
511
.
3
H452f
105. A first course in logic /
Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
Classification :
QA9
.
L37256
2018eb
106. A first course in logic
Author: / Shawn Hedman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic.,Logic, Symbolic and mathematical.
Classification :
QA9
,.
H36
,
2004
107. A first course in logic
Author: Shawn Hedman,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic,Logic -- Symbolic and mathematical
Classification :
QA
.
H36
9
2004
108. A first course in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
109. A first course in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic. ; Logic, Symbolic and mathematical. ;
110. A first course in logic
Author: / Shawn Hedman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic,Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
111. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn.
Library: Library of Mofid University (Qom)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
112. A first course in mathematical logic and set theory /
Author: Michael L. O'Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics,Set theory
Classification :
QA9
113. A first course in modern logic
Author: / /By/Edith Watson Schipper and Edward Schuh,Schipper
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
S33
114. A first journey through logic /
Author: Martin Hils, François Loeser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
Classification :
QA9
.
H52445
2019
115. 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
116. 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
117. 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
118. A friendly introduction to mathematical logic
Author: / Christopher C. Leary
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق کامپیوتری,Logic, Symbolic and mathematical
Classification :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
119. A friendly introduction to mathematical logic
Author: Leary, Christopher C.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L63
L43
2000
120. A friendly introduction to mathematical logic /
Author: Christopher C. Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
L63
L43
2000
