Completeness of the first order predicate calculus. Archive of Formal Proofs (2004)

by J Margetson, T Ridge