logo
Published on Department of Mathematics (http://www.math.ohio-state.edu)

Mathematical Logic I

By admin
Created Jan 23 2006 - 1:45pm

Course Textbooks

TypeTitleEditionAuthorPublisherISBN Number
Course TextbookA Mathematical Introduction to Logic2ndEndertonElsevier0122384520

Autumn 2008 Offerings

No courses found

Other Course Information

Prerequisites

Description
The syntax and semantics of sentential logic and first order logic; completeness and compactness theorems for first order logic.

Credits
3

Quarters Offered
Autumn

Source URL:
http://www.math.ohio-state.edu/courses/648