scientific article; zbMATH DE number 934870
zbMATH Open0896.03001MaRDI QIDQ4895355FDOQ4895355
Authors: Yuri L. Ershov 
Publication date: 14 October 1996
Title of this publication is not available (Why is that?)
Recommendations
admissible setsemantic programmingpartial recursive functionGödel incompleteness theoremGandy theoremrecursively enumerable relation
Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4895355)
