Pages that link to "Item:Q4755550"
From MaRDI portal
The following pages link to Zum Entscheidungsproblem des logischen Funktionenkalküls (Q4755550):
Displayed 21 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Solvable classes of pseudoprenex formulas (Q1147118) (← links)
- Beiträge zum Entscheidungsproblem der mathematischen Logik. (Q2605693) (← links)
- Beiträge zum Entscheidungsproblem der mathematischen Logik (Q2645124) (← links)
- The Gödel class with identity is unsolvable (Q3317080) (← links)
- Random models and the Gödel case of the decision problem (Q3317081) (← links)
- Random models and the Maslov class (Q3480012) (← links)
- The unsolvability of the Gödel class with identity (Q3695253) (← links)
- A decidable subclass of the minimal Gödel class with identity (Q3695254) (← links)
- On the Gödel class with identity (Q3926548) (← links)
- Random models and solvable Skolem classes (Q4276027) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
- (Q5090984) (← links)
- A note on the Entscheidungsproblem (Q5763293) (← links)
- Ein Verfahren der mathematischen Logik (Q5769704) (← links)
- On the reduction of the decision problem (Q5783650) (← links)
- Contributions to the reduction theory of the decision problem (Q5798793) (← links)
- Contributions to the reduction theory of the decision problem (Q5802125) (← links)
- Contributions to the reduction theory of the decision problem (Q5806807) (← links)
- Contributions to the reduction theory of the decision problem (Q5808413) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)