Formal Groups (Lecture Notes in Mathematics, 74)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 (Lecture Notes in Mathematics, 274)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Topological Model Theory (Lecture Notes in Mathematics, 769)
Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)
Forcing, Arithmetic, Division Rings (Lecture Notes in Mathematics, 454)
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
