Forcing, Arithmetic, Division Rings (Lecture Notes in Mathematics, 454)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Constructive Methods for Elliptic Equations (Lecture Notes in Mathematics, 365)
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274)
Lectures on Summability (Lecture Notes in Mathematics, 107)
The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)
Stability of Unfoldings (Lecture Notes in Mathematics, 393)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
