Another Proof of the Gödel-Rosser Incompletability Theorem.by László Kalmár
Review by: Günter AsserVolume:
30
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2269661
Date:
September, 1965
File:
PDF, 202 KB
english, 1965