Introduction to mathematical logic - Elliott Mendelson (California Wadsworth Inc. Belmont, 1998)
Keywords: Mathematics