We are experiencing minor difficulties with some of our submission forms, which we are working to resolve. You should still be able to submit items, but if you have any issues while submitting, please contact us at dspace-lib@mit.edu.

Mathematical Logic for Computer Scientists

Thumbnail Image
Download
Name

MIT-LCS-TR-131.pdf

Size

9.49 MB

Format

Adobe PDF

Checksum (MD5)

f9ac44ab2d4f84439557b9ef35c0b2e7

Author(s)
Levin, Michael
Date Issued
June 1974
Series/Report no.
MIT-LCS-TR-131
MAC-TR-131
Abstract
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.