Book
A Beginner's Guide to Mathematical Logic
Douban
Raymond M. Smullyan
publishing house:
Dover Publications
2014
- 7