Advanced Logic for Applications

I. Henkin Sets and the Fundamental Theorem.- II. Derivation Rules and Completeness.- III. Gentzen Systems and Constructive Completeness Proofs.- IV. Quantification Theory with Identity and Functional Constants.- V. First Order Theories with Equality.- VI. Godel's Incompleteness Theorems: Preliminary Discussion.- VII. Undecidability and Incompleteness.- VIII. Godel's Second Incompleteness Theorem.- IX. Tarski's Theorems and the Definition of Truth.- X. Some Recursive Function Theory.- XI. Intuitionistic Logic.- XII. Second Order Logic.- XIII. Algebraic Logic.- XIV. Anadic Logic.- Selected Bibliography.- Index of Names.- Index of Subjects.- Index of Symbols.