Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
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)
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Computations in Higher Types (Lecture Notes in Mathematics, 574)
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)
Aspects of Constructibility (Lecture Notes in Mathematics, 354)
Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)
Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics, 492)
