Pages that link to "Item:Q3305633"
From MaRDI portal
The following pages link to From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633):
Displaying 5 items.
- Guarino Guarini and universal mathematics (Q848888) (← links)
- Introduction: Mathesis Universalis, Proof and Computation (Q3305623) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- (Q3606209) (← links)
- Logical Approaches to Computational Barriers (Q5898798) (← links)