Gödel’s Conflicting Approaches to Effective Calculability

Logical Approaches to Computational Barriers - Lecture Notes in Computer Science ◽

10.1007/11780342_54 ◽

2006 ◽

pp. 536-537

Author(s):

Wilfried Sieg

Download Full-text