About this document
MATH 770: Foundations of Mathematics by Sylas is a document available to read on EtoBox.
This document contains lecture notes for a course on the foundations of mathematics. The notes cover topics in propositional logic, first-order predicate logic, model theory, incompleteness, and set theory. The first chapter introduces propositional logic, defining syntax using logical connectives and truth tables, and semantics using truth assignments and satisfaction.
- Author
- Sylas
- Language
- EN