| 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 ... | |
| Glenn Fulford, Peter Forrester, Arthur Jones - Mathematics - 1997 - 405 pages
The theme of this book is modeling the real world using mathematics. The authors concentrate on the techniques used to set up mathematical models and describe many systems in ... | |
| J. F. Traub, A. G. Werschulz - Computers - 1998 - 139 pages
The twin themes of computational complexity and information pervade this book. It starts with an introduction to information-based complexity, that is, the computational ... | |
| |