Publication:4918397

From MaRDI portal

Jump to:navigation, search

zbMath1261.03129MaRDI QIDQ4918397

Raymond M. Smullyan

Publication date: 24 April 2013

Mathematics Subject Classification ID

03D20: Recursive functions and relations, subrecursive hierarchies

03D10: Turing machines and related notions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4918397&oldid=19317660"