logo
Published on Department of Mathematics (http://www.math.osu.edu)

Mathematical Logic I

By admin
Created Jan 23 2006 - 1:45pm

Course Textbooks

TypeTitleEditionAuthorPublisherISBN Number
Course TextbookA Mathematical Introduction to Logic2ndEndertonElsevier0122384520

Winter 2012 Offerings

Call NoTypeBuildingRoomDaysTimeInstructorHomepage
19988 [0]LectureCC [1]0248MWF3:30-4:18Carlson, Tim [1]

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.osu.edu/courses/648

Links:
[1] http://www.osu.edu/map/building.php?building=072