1. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
2. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
3. Grenzen der Mathematik
پدیدآورنده : Dirk W. Hoffmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.
رده :
b
4. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.
رده :
BC135
.
V663
1967
5. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematische Logik.
رده :
BC135
.
V663
1959
6. Introduction to symbolic logic /
پدیدآورنده : James D. Carney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
BC135
.
C334
1970
