Dover Publications · HarperCollins Distribution Services
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Boolean Algebra | 978-0-486-45894-6 (0-486-45894-6) | 2007 | |
| Development of Mathematical Logic | 978-0-236-17669-4 (0-236-17669-2) | 1971 | |
| Recursive Analysis | 978-0-486-47751-0 (0-486-47751-7) | 2010 | Mathematics |