Amvik eBook Solutions

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupp

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

Introduction to Logic offers one of the most clear, interesting and accessible introductions to what has long been considered one of the most challenging subjec