Pages that link to "Item:Q2736583"
From MaRDI portal
The following pages link to The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583):
Displaying 4 items.
- Execution trace sets for real computation (Q2699944) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- Fractals and the monadic second order theory of one successor (Q6091636) (← links)
