| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Aspects of Modern Logic | 978-90-277-0173-2 (90-277-0173-3) | 1971 |
| Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic | 978-90-277-0069-8 (90-277-0069-9) | 1970 |
| Mathematical Thought: An Introduction to the Philosophy of Mathematics | 978-90-277-0070-4 (90-277-0070-2) | 1965 |