A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
Design of a LISP-based microprocessor
Communications of the ACM
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Hi-index | 0.02 |
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.