scientific article; zbMATH DE number 3127536

zbMATH Open0078.00702MaRDI QIDQ3243266FDOQ3243266

Authors: Daniel Lacombe, Joseph R. Shoenfield, Georg Kreisel 

Publication date: 1957

Title of this publication is not available (Why is that?)

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cited In (3)

• Completeness: when enough is enough
• On the information carried by programs about the objects they compute
• The basic theory of partial \(\alpha\)-recursive operators

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 Q3243266)