Axioms for Computability: Do They Allow a Proof of Church’s Thesis? (Q4907915)
From MaRDI portal
scientific article; zbMATH DE number 6139083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axioms for Computability: Do They Allow a Proof of Church’s Thesis? |
scientific article; zbMATH DE number 6139083 |
Statements
Axioms for Computability: Do They Allow a Proof of Church’s Thesis? (English)
0 references
26 February 2013
0 references
