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

Downloads: 0