Pages that link to "Item:Q4755550"

The following pages link to Zum Entscheidungsproblem des logischen Funktionenkalküls (Q4755550):

Displaying 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)