Mathematics and logic - Kac, Mark (Dover books on mathematics, 1992)