Mathematical logic for computer scientists.
Publisher: Massachusetts Institute of Technology
Published: 1974
Place of publication: Cambridge, (Mass.)
Language: eng
Number of pages: 174
Description: Mathematical logic text based on LISP.  Fulltext available as scanned typescript (MIT LCS technical report 131).