| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Extensional Godel functional interpretation;: A consistency proof of classical analysis | 978-0-387-06119-1 (0-387-06119-3) | 1973 | |
| Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis | 978-3-540-06119-9 (3-540-06119-3) | 2009 |