The Axiomatic Structure of P
Semantics, Consistency, and Completeness of P
Propositional Connectives
The Axiomatic Structure of F
Abstract Consistency and Completeness
Supplement: Simplified Completeness Proof
Provability and Refutability
Refutations of Universal Sentences
Further Topics in First-Order Logic
Craig's Interpolation Theorem
Beth's Definability Theorem
The Primitive Basis of Q[subscript 0]
Elementary Logic in Q[subscript 0]
Equality and Descriptions
Semantics of Q[subscript 0]
Completeness of Q[subscript 0]
Cardinal Numbers and the Axiom of Infinity
Primitive Recursive Functions and Relations
Incompleteness and Undecidability
Godel's Incompleteness Theorems
Undecidability and Undefinability.
