1. A concise introduction to mathematical logic
Author: / Wolfgang Rautenberg
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Electronic books. , local
Classification :
E-BOOK
2. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R26513
2010
3. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R26513
2010
4. A concise introduction to mathematical logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
5. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R28E413
2010
6. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R28E413
2006
7. A course in mathematical logic for mathematicians
Author: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
Classification :
511
,.
3
,.
M296
,
2010
8. A course in mathematical logic for mathematicians
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
9. 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
10. 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
11. A profile of mathematical logic.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
Classification :
QA9
.
D37
12. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
Author: Hermes, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H44
13. Frege's lectures on logic :
Author: translated and edited with introductory essay by Erich H. Reck and Steve Awodey ; based on the German text, edited with introduction and annotations by Gottfried Gabriel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Frege, Gottlob,1848-1925.,Carnap, Rudolf,1891-1970.,Carnap, Rudolf,1891-1970.,Frege, Gottlob ,1848-1925.,Frege, Gottlob, 1848-1925,Frege, Gottlob.,Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik
Classification :
B3245
.
F22
E52
2004
14. Fuzzy-Logik :
Author: von Gert Böhme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.
15. Grenzen der Mathematik
Author: Dirk W. Hoffmann
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.
Classification :
b
16. Grundzüge der theoretischen Logik
Author: [von] D. Hilbert und W. Ackermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematische Logik.
Classification :
BC135
.
V663
1967
17. Grundzüge der theoretischen Logik
Author: [von] D. Hilbert und W. Ackermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematische Logik.
Classification :
BC135
.
V663
1959
18. Introduction to mathematical logic
Author: Hermes, Hans
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H4413
19. Introduction to mathematical logic
Author: / Hans Hermes; translated from German by Diana Schmidt
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
H553
20. Introduction to mathematical logic
Author: Hermes, Hans.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H4
