Pages that link to "Item:Q768309"
From MaRDI portal
The following pages link to On the fundamental conjecture of \(GLC\). V (Q768309):
Displaying 7 items.
- How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- Schnittelimination in einem Teilsystem der einfachen Typenlogik (Q5595150) (← links)
- A characterization of Takeuti's ordinal diagrams of finite order (Q5655349) (← links)