View All Courses     Distance Enrollment     Course Number Conversion
 Insall, Eugene
 Mathematics & Statistics
  Personal Page

 214 Rolla Bldg
 ROLLA, MO 65409

Philosophy 4354: Mathematical Logic I

A mathematical introduction to logic with some applications. Functional and relational languages, satisfaction, soundness and completeness theorems, compactness theorems. Examples from Mathematics, Philosophy, Computer Science, and/or Computer Engineering.(Co-listed with Comp Eng 5803, Comp Sci 5203 and Math 5154)
Additional Info:

Mathematical Logic 1-Syllabus

Time/Day: 12:40 pm - 02:50 pm WEEK
Prerequisites: Philos 3254 or Math 5105 or Comp Sci 2500 or Comp Eng 2210.
Units: 3
Course Component(s): Lecture


The Logic of Thermostatical Physics by Gerard Emch and Chuang Liu
ISBN-10: 3540413790
ISBN-13: 978-3540413790

Models and Ultraproducts: An Introduction by John Bell and Alan Slomson
ISBN-10: 0486449793
ISBN-13: 978-0486449791


Natural Deduction: A Proof-Theoretical Study by Dag Prawitz
ISBN-13: 978-0-486-44655-4
Dover Publications


An Introduction to Stability Theory by Anand Pillay
ISBN-13: 978-0-486-46896-9
Dover Publications

Attention Distance Students

For VCC produced video: Links to live and archived media are in Canvas. Additionally you can go directly to
For other course content: please contact your instructor.

Enrollment Information
Campus Delivery Mode Class Status Class Nbr Section
Distance Education Internet OPEN 70733 1DI4

Course Access Information
Learning Management System Canvas