The following pages link to (Q5525322):
Displayed 14 items.
- Principles of reflection and second-order logic (Q1097275) (← links)
- Transfinite expansions of arithmetic formulas (Q1254249) (← links)
- From constructivism to computer science (Q1274450) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Some applications of Gentzens second consistency proof (Q2535674) (← links)
- On the Completeness of Dynamic Logic (Q3617722) (← links)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358) (← links)
- (Q5539743) (← links)
- (Q5593817) (← links)
- Algorithmic properties of structures (Q5600863) (← links)
- (Q5652656) (← links)
- Intrinsic reasoning about functional programs. I: First order theories (Q5957855) (← links)