Some unifying fixed point principles

DOI10.1007/BF00370391zbMath0745.03001OpenAlexW2075080213MaRDI QIDQ1176099

Raymond M. Smullyan

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370391

zbMATH Keywords

fixed pointmetamathematicsrecursion theorycombinatory logicapplicative system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Recursive functions and relations, subrecursive hierarchies (03D20) Combinatory logic and lambda calculus (03B40) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Some unifying fixed point principles