%0 Book %1 Kleene1952Introduction %A Kleene, Stephen C. %C Princeton, New Jersey %D 1952 %I D. van Nostrand %K 03-01-mathematical-logic-and-foundations-instructional-exposition 03d75-abstract-and-axiomatic-computability-and-recursion-theory %T Introduction to Metamathematics

@book{Kleene1952Introduction, added-at = {2019-03-01T00:11:50.000+0100}, address = {Princeton, New Jersey}, author = {Kleene, Stephen C.}, biburl = {https://www.bibsonomy.org/bibtex/27da682feefa9085ada6ce20b5293beb0/gdmcbain}, citeulike-article-id = {14423744}, interhash = {655ce304256a2845a50b6bbd1c2b14c4}, intrahash = {7da682feefa9085ada6ce20b5293beb0}, keywords = {03-01-mathematical-logic-and-foundations-instructional-exposition 03d75-abstract-and-axiomatic-computability-and-recursion-theory}, posted-at = {2017-09-01 08:10:59}, priority = {2}, publisher = {D. van Nostrand}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Introduction to Metamathematics}}, year = 1952 }