K-Graph machines: generalizing Turing’s machines and arguments (1996)

by W Sieg, J Byrnes
Venue:Lecture Notes in Logic 6