The following pages link to (Q4250049):
Displaying 6 items.
- The logic of arithmetical hierarchy (Q1315831) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Much Shorter Proofs (Q4206724) (← links)
- (Q4408598) (← links)
- Solution of David Gale's lion and man problem (Q5941299) (← links)