The following pages link to (Q4309506):
Displaying 14 items.
- Logic and mathematics (Q2702591) (← links)
- Well-structured mathematical logic (Q2849811) (← links)
- (Q3229401) (← links)
- Mathematical Logic: Mathematics of Logic or Logic of Mathematics (Q3296973) (← links)
- (Q3516027) (← links)
- (Q3848961) (← links)
- (Q4308215) (← links)
- A modal view of linear logic (Q4314678) (← links)
- (Q4679109) (← links)
- (Q4863274) (← links)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
- Mathematische Logik (Q5013898) (← links)
- Modern Mathematical Logic (Q5086251) (← links)
- Which structural rules admit cut elimination? An algebraic criterion (Q5422301) (← links)