J.K · J. L. · Jean-Louis Krivine
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Elements of Mathematical Logic: Model Theory | 978-0-7204-2265-8 (0-7204-2265-5) | 1971 | G. Kreisel |
| Lambda-Calculus, Types and Models | 978-0-13-062407-9 (0-13-062407-1) | 1993 | |