Publisher
Edition
At
0
Gödel '96 :
logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
ISBN: 1568811535 (pbk. : alk. paper)
Association for Symbolic Logic,
c2001.
QA9.A1 G6 1996
NEU Grand Library[General Collection]
Available
0
Logic Colloquium '98 :
proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
ISBN: 1568811136
Association for Symbolic Logic,
c2000.
QA9.A1 L64 1998
-
-
0
Logic journal of the IGPL
Oxford University Press ;
QA9.A1 L645
Online electronic
Not for loan
0
Symbolic logic and mechanical theorem proving /
ISBN: 0121703509
Academic Press,
[1987], c1973.
QA9 .C483 1987
NEU Grand Library[General Collection]
Available
11
MATLAB :
Symbolic Math Toolbox /
The Math Works İnc.,
QA9 .C54
NEU Grand Library[General Collection]
Available
0
Church’s Thesis after 70 years /
ISBN: 3938793090
Ontos,
QA9 .C58
NEU Grand Library[General Collection]
Available
0
Symbolic logic /
Middle East Technical University,
1972.
QA9 .G78 1970
-
-
0
Symbolic logic /
Middle East Technical University,
1972.
QA9 .G78 1972
Yeniboğaziçi Grand Library[İsmail Bozkurt Section]
Available
0
Mathematical logic and computability /
ISBN: 0079129315
McGraw-Hill,
1995.
QA9 .K45 1996
NEU Grand Library[General Collection]
Available
0
Mathematical logic /
ISBN: 0387901701
Springer-Verlag,
1976.
QA9 .M68
University of Kyrenia Grand Library[General Collection]
Available