scientific article; zbMATH DE number 3304988

zbMATH Open0192.05301MaRDI QIDQ5586293FDOQ5586293

Authors: Martin Davis 

Publication date: 1962

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (2)

• Mass problems associated with effectively closed sets
• Cone avoidance and randomness preservation

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