Advertisement

Proof and Metatheorems in First-Order Logic

Part of the Universitext book series (UTX)

In the previous chapter, we introduced the notion of proof in propositional logic. In this chapter we shall define proof in a first-order theory and prove several metatheorems in first-order logic.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations