(1965). Formal systems and recursive functions. North-Holland.
Chicago-Zitierstil (17. Ausg.)Formal Systems and Recursive Functions. Amsterdam: North-Holland, 1965.
MLA-Zitierstil (9. Ausg.)Formal Systems and Recursive Functions. North-Holland, 1965.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.