Godel's Incompleteness Theorem via Abstraction (1993)

by A Bundy, F Giunchiglia, A Villafiorita, T Walsh
Venue:WARNING WARNING WARNING WARNING WARNING WARNING WARNING WARNING WARNING WARNING