|
| |
 |
J. Barwise,
S. Feferman (eds.),
Model Theoretic Logics,
Springer-Verlag,
1985, ISBN:
0387909362
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
No Image Available |
M. Beeson,
Foundations of Constructive Mathematical Logic,
Springer-Verlag,
1985, ISBN:
0387121730
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
J. L. Bell,
A
Course in Mathematical Logic,
North-Holland,
(1997), ISBN:
0720428440
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
E. Borger,
E.
Gradel, Y.
Gurevich,
The Classical Decision Probelm,
Springer-Verlag,
2nd Ed. (2002), ISBN: 3540423249
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
B. F. Chellas,
Modal Logic: An Introduction,
Cambridge University Press,
(1980), ISBN:
0521295157
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
A. Church,
Introduction to Mathematical Logic,
Princeton Press,
(1996), ISBN:
0691029067
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
K. Doets,
From Logic to Logic Programming,
MIT Press,
(1994), ISBN: 0262041421
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
H. B. Enderton,
A Mathematical Introduction to Logic,
Academic Press,
(2001), ISBN: 0122384520
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
M. Fitting,
First-Order Logic and Automated Theorem Proving,
Harvard
University Press,
2nd. Ed (1995), ISBN:
0387945938
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
No Image Available |
P. R. Helmos, Algebraic
Logic, AMS,
(1962), ISBN:
0828401543
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
J. Van Heijenoort,
From Frege to Godel: A Source Book in Mathematical Logic,
Harvard
University Press,
(2002), ISBN:
0674324498
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
M. Lerman,
Degrees of Unsolvability,
Springer-Verlag,
(1983), ISBN:
0387121552
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
J. Malitz, Introduction
to Mathematical Logic,
Springer-Verlag,
(1987), ISBN:
0387903461
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
I. I. Manin,
A Course in Mathematical Logic,
Kluwer Academic,
(1977), ISBN: 0-387-90243-0
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
E.
Mendelson,
Introduction to Mathematical Logic,
CRC Press,
4th ed. (1997), ISBN:
0412808307
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
E. Nelson,
Predicative Arithmetic,
Princeton Press,
(1980), ISBN: 0691084556
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
W. V. Quine,
Methods of Logic,
Harvard
University Press,
(1982), ISBN: 0674571762
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
R. I. Soare,
Recursively Enumerable Sets and Degrees,
Springer-Verlag,
(1987), ISBN: 0387152997
Amazon.co.uk Website
Barnes & Noble Website |
|
| |
 |
R. R. Stoll,
Set Theory and Logic,
Dover Publications,
(1979), ISBN:
0486638294
Amazon.co.uk Website
Barnes & Noble Website |
|
|