scientific article; zbMATH DE number 3153134

MaRDI QIDQ3271835zbMATH OpenFDO

Authors Alonzo Church

Publication date 1960

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(6)

• Turing machine computations in finitely axiomatizable theories
• Critical theories
• Composition structure of programmology
• Foundations of programmology
• Matrix hierarchies of first-order languages and their applications
• Classification of derivable propositional formulas

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