Pages that link to "Item:Q2734834"
From MaRDI portal
The following pages link to Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier (Q2734834):
Displaying 9 items.
- Regressive functions on pairs (Q966137) (← links)
- Diagonalization in double frames (Q1931343) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- (Q3598173) (← links)
- (Q4510393) (← links)
- The Ontological Innocence of Schematic Logic (Q5013623) (← links)
- The Inverse of Ackermann Function is Computable in Linear Time (Q5025055) (← links)
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES (Q5070471) (← links)
- A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY (Q5207557) (← links)