| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Undecidable Theories: Studies in Logic and the Foundation of Mathematics | 978-O-486-477O3-9 (O-486-477O3-7) | 2010 | Alfred Tarski · Andrzej Mostowski |
m r · M. Robinson · R. M. · R.R. · R. Robinson