Pages that link to "Item:Q734036"
From MaRDI portal
The following pages link to The Hydra battle and Cichon's principle (Q734036):
Displaying 5 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (Q3096819) (← links)
- The Hydra Battle Revisited (Q3608809) (← links)
- (Q5009706) (← links)
- On Transfinite Knuth-Bendix Orders (Q5200038) (← links)
