Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics, 447)

Book

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Book

Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 (Lecture Notes in Mathematics, 337)

Book

Logical Number Theory I: An Introduction (Universitext)

Book

Types, Tableaus, and Gödel’s God

Book

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)

Book

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Book

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics, 669)