Correction to A note on the Entscheidungsproblem

DOI10.2307/2269030zbMath0015.33901OpenAlexW2065535838WikidataQ56037874 ScholiaQ56037874MaRDI QIDQ5764761

Alonzo Church

Publication date: 1936

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269030

zbMATH Keywords

Foundations, philosophy, logic

Related Items (3)

Symbioses between mathematical logic and computer science ⋮ On the Decision Problem for Two-Variable First-Order Logic ⋮ Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic

Cites Work

• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem

This page was built for publication: Correction to A note on the Entscheidungsproblem