Fischer, Alec, Formal number theory and computability : A workbook / By alec Fisher - 190 páginas ISBN: 0198531788 0-19-853188-5 (rustica) Subjects--Topical Terms: Teorema de GödelTeoremas incompletosTeoría de los números LC Class. No.: QA241 / F57