| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings | 978-3-540-52335-2 (3-540-52335-9) | 1990 | Grigori Mints |
| Intuitionistic type theory | 978-88-7088-105-9 (88-7088-105-9) | 2007 | |
M.-L. · Martin L. · Martin Loef · P.M. · P. Martin