Stephen Cole Kleene · Dover Publications · 2002
Kleene, S. C. (2002). Mathematical logic. Dover Publications.