The following pages link to (Q3663255):
Displaying 5 items.
- Intensionality in mathematics (Q762052) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Automated search for Gödel's proofs (Q1772785) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)