Pages that link to "Item:Q1899140"
From MaRDI portal
The following pages link to Generalizing theorems in real closed fields (Q1899140):
Displaying 5 items.
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Controlling witnesses (Q2566063) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
