Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Analysis and Logic: Connections with Logic | 978-0-521-64861-5 (0-521-64861-0) | 2003 | |
| Nonstandard Analysis: Theory and Applications | 978-0-7923-4586-2 (0-7923-4586-X) | 1997 | Leif O. Arkeryd · Nigel J. Cutland |