The following pages link to (Q4342091):
Displaying 11 items.
- Recognizable logics (Q887647) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Predicative methodology (Q1080649) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Structured propositions and the logical form of predication (Q2052203) (← links)
- Comments on predicative logic (Q2499285) (← links)
- (Q3220555) (← links)
- (Q3984132) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)