| Title |
Author |
ISBN |
| A Course in Mathematical Logic (Logic) |
Yu. I. Manin |
0-387-90243-0 |
| ACM Turing Award Lectures The First Twenty Years (Logic) |
ACM Press |
0-201-07794-9 |
| An Algorithmic Theory of Numbers, Graphs and Convexity (Logic) |
Lovasz, Laszlo |
0-89871-203-3 |
| Arthimetic Complexity of Computations (Logic) |
Winograd, Shmuel |
0-89871-163-0 |
| Boole's Logic and Probability (Logic) |
Hailperin, Theodore |
0-444-87958-8 |
| Bounds on Transfer Principles for Algebraically Closed and Complete Discretely Valued Fields (Logic) |
Brown, Scott Shorey |
0-8218-2204-7 |
| Computability and Unsolvability (Logic) |
Davis, Martin |
0-486-61471-9 |
| Computational Complexity Theory (Logic) |
Hartmanis, Juris |
0-8218-0131-7 |
| Computers and Intractability - A Guide to the Theory of NP-Completeness (Logic) |
Garey, Michael R.; Johnson, Davis S. |
0-7167-1045-5 |
| Development of Mathematical Logic (Logic) |
Goodstein, R.L. |
0-387-91088-3 |
| Fuzzy Systems Theory and Its Applications (Logic) |
Terano, Toshiro; Asai, Kiyoji; Sugeno, Michio |
0-12-685245-6 |
| Handbook of Mathematical Logic (Logic) |
Barwise, John; Keisler, H.J.; Mostowski, A.; Robinson, A.; Suppes, P.; Troelstra, A.S. |
0-7204-2285-X |
| Introduction to Mathematical Logic (Logic) |
Mendelson, Elliott |
|
| Introduction to Model Theory and to the Metamathematics of Algebra (Logic) |
Robinson, Abraham |
|
| Laws of Form (Logic) |
Brown, G. Spencer |
|
| Logic Colloquium '92 (Logic) |
Csirmaz, Laszlo; Gabbay, Dov M.; de Rijke, Maarten |
1-881526-97-6 |
| Logic, Methodology and Philosophy of Science (Logic) |
Nagel, Ernest; Suppes, Patrick; Tarsski, Alfred |
|
| Logical Dilemmas (Logic) |
Dawson, Jr., John W. |
1-56881-025-3 |
| Mathematical Experiments on the Computer (Logic) |
Grenander, Ulf |
0-12-301750-5 |
| Mathematical Logic (Logic) |
Shoenfield, Joseph R. |
|
| Measures of Complexity (Logic) |
Vulpiani, L. Peliti A. |
3-540-50316-1 |
| Modal Logic and Process Algebra a Bisimulation Perspective (Logic) |
Ponse, Alban; de Rijke, Maarten; Venema, Yde |
1-881526-96-8 |
| Model Theory of Fields (Logic) |
Van Den Dries, L.P.D. |
|
| Modern Spectrum Analysis (Logic) |
Childers, Donald G. |
0-87942-107-X |
| Modern Spectrum Analysis, II (Logic) |
Kesler, Stanislav B. |
0-87942-203-3 |
| Non -Standard Analysis (Logic) |
Robinson, Abraham |
|
| Non-Standard Analysis (Logic) |
Abraham Robinson |
0-691-04490-2 |
| Nonstandard Analysis in Practice (Logic) |
Diener, Francine; Diener, Marc |
3-540-60297-6 |
| Nonstandard Analysis in Practice (Logic) |
Diener, Francine; Diener, Marc |
3-540-60297-6 |
| Set Theory and the Continuum Hypothesis (Logic) |
Cohen, Paul J. |
|
| Studies in Model Theory (Logic) |
Morley, M.D. |
0-88385-100-8 |
| Summer Institute for Symbolic Logic (Logic) |
Cornell University 1957 |
|
| The Complexity of Boolean Networks (Logic) |
Dunne, Paul E. |
0-12-224460-5 |
| The Computational Complexity of Logical Theories (Logic) |
Ferrante, Jeanne; Rackoff, Charles W. |
3-540-09501-2 |
| The Consistency of the Continuum Hypothesis (Logic) |
Godel, Kurt |
|
| The Continuum - A critcal Examination of the Foundation of Analysis (Logic) |
Weyl, Hermann |
0-486-67982-9 |
| The Creation of Nonstandard Analysis a Personal and Mathematical Odyssey (Logic) |
Robinson, Abraham; Dauben, Joseph Warren |
0-691-037450-0 |
| Theory of Sets (Logic) |
Kamke, Dr. E. |
|
| Undecidable Theories (Logic) |
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. |
|
