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