The following pages link to (Q3442955):
Displaying 6 items.
- Gödel's completeness theorem (Q1312692) (← links)
- A note on some extension results (Q1814182) (← links)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- Provability logic—a short introduction (Q4378052) (← links)
- On Rosser's Provability Predicate (Q5203006) (← links)