The following pages link to (Q5523665):
Displayed 13 items.
- Emergence, reduction and supervenience: a varied landscape (Q649890) (← links)
- On simplicity of formulas (Q757354) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Extracting information from resolution proof trees (Q2547494) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- König's Infinity Lemma and Beth's Tree Theorem (Q2963978) (← links)
- Nonisomorphic atomless Boolean algebras (Q4052114) (← links)
- Andrzej Mostowski: A Biographical Note (Q4611690) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)