J. Lambek, P. J. Scott - Mathematics - 1988 - 304 pages
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another ...
A. G. Hamilton - Mathematics - 1988 - 228 pages
This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.
Wilfrid Hodges - Mathematics - 1997 - 310 pages
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard ...
N. Shankar - Computers - 1997 - 202 pages
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Graham Priest - Mathematics - 2001 - 242 pages
This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively ...