Pages that link to "Item:Q3003304"
From MaRDI portal
The following pages link to Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304):
Displayed 1 item.
The following pages link to Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304):
Displayed 1 item.