@Book{Kl50, title = {Introduction to Metamathematics}, publisher = {Van Nostrand}, year = {1950}, author = {Kleene, S. C.}, }