Pages that link to "Item:Q3985134"
From MaRDI portal
The following pages link to How to Pick Out the Integers in the Rationals: An Application of Number Theory to Logic (Q3985134):
Displaying 4 items.
- Further results on Hilbert's tenth problem (Q829448) (← links)
- Formulation of linear problems and solution by a universal machine (Q1338141) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms (Q5244858) (← links)