Search Results

Sets, Logic, Computation is an introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the co

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural dedu

"This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, comp

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically tr