Avoiding Self-Referential Statements (Q4173354)
From MaRDI portal
scientific article; zbMATH DE number 3608018
Language | Label | Description | Also known as |
---|---|---|---|
English | Avoiding Self-Referential Statements |
scientific article; zbMATH DE number 3608018 |
Statements
Avoiding Self-Referential Statements (English)
0 references
1978
0 references
Semirepresentation of a Partial Recursive Function
0 references
Self-Referential Statements
0 references
Correctness Condition
0 references
Proof Theory
0 references