@BOOK{ Book!D - 100884971,
AUTHOR = "",
TITLE = "Sentences undecidable in formalized arithmetic",
LIBRARY= "دانشکده اقتصاد (دانشگاه تهران)",
SUBJECT = "Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt",
URL = "/book/100884971/Sentences-undecidable-in-formalized-arithmetic/"}