Pages that link to "Item:Q2795296"

The following pages link to HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296):

Displaying 2 items.

• Carnap's early metatheory: scope and limits (Q1708750) (← links)
• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)