 |
| English | German |
| Church-Gödel theorem | Church-Gödel-Theorem (Berechnungskomplexität) |
| Church-Rosser theorem | Church-Rosser-Theorem (Lambda-Kalkül) |
| Church's thesis | Church-These |
|
| English | German |
| Church-Gödel theorem | Church-Gödel-Theorem (Berechnungskomplexität) |
| Church-Rosser theorem | Church-Rosser-Theorem (Lambda-Kalkül) |
| Church's thesis | Church-These |