scientific article; zbMATH DE number 4125357

MaRDI QIDQ4205405zbMATH OpenFDO

Authors Stephen Cole Kleene

Publication date 1988

zbMATH Keywords

Churcheffectively calculable functionsfoundationsGödelKleenelogicrecursive functionsTuring

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 4039834
• scientific article; zbMATH DE number 2078138
• scientific article; zbMATH DE number 4074999
• E. L. Post and the development of logic
• Mathematical logic in Poland 1918--1939

Cited in

(6)

• E. L. Post and the development of logic
• scientific article; zbMATH DE number 3961569 (Why is no real title available?)
• scientific article; zbMATH DE number 724262 (Why is no real title available?)
• scientific article; zbMATH DE number 4116490 (Why is no real title available?)
• American Logic in the 1920s
• scientific article; zbMATH DE number 7117706 (Why is no real title available?)

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