First Course in Mathematical Logic

Sign up to use
Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.