Browse Reports

This book is an introductory course in mathematical logic covering basic topics in quantification theory and recursive function theory, and is intended for the reader who is interested in artificial intelligence, computer linguistics, and other related areas. The text is theoretical, but organized with implementation in mind. Toward the end there are a few experimental subjects aiming toward systems that can examine their own behavior, and toward the semantics of programming languages. The arithmetization of metamathematics is carried out in LISP rather than in the natural numbers, following an axiomatic treatment of LISP.