Kalmár and Péter: Undecidability as a Consequence of Incompleteness

Evolving Computability - Lecture Notes in Computer Science ◽

10.1007/978-3-319-20028-6_35 ◽

2015 ◽

pp. 343-352

Author(s):

Máté Szabó

Download Full-text