Introduction to mathematics - Kleene Stephen Cole (Amsterdam North-Holland, 1952)
Keywords: Mathematical logic