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 6 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)
- (Q4323631) (← links)
- (Q5236405) (← links)
- Fractals and the monadic second order theory of one successor (Q6091636) (← links)