Metalogic

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard, basically truth-fu... » 

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard, basically truth-functional first order logic. It also explains concepts of mathematics and set theory for non-mathematicians. «