Instructor: Dr. Miklós ERDÉLYI SZABÓ

Text: Herbert Enderton: A Mathematical Introduction to Logic

Prerequisite:  ---

Overview:  A model (first order classical logic) of mathematical proofs, structures, truth and their connection. The axiomatic method and its limitations. Finally the connection between logic and computability.

Topics covered: