Duplex diagonalization
From MaRDI portal
Publication:4918397
zbMATH Open1261.03129MaRDI QIDQ4918397FDOQ4918397
Authors: Raymond M. Smullyan
Publication date: 24 April 2013
Recommendations
Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Cited In (1)
This page was built for publication: Duplex diagonalization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918397)