Pages that link to "Item:Q2545171"
From MaRDI portal
The following pages link to The decision problem for the logic of predicates and of operations (Q2545171):
Displaying 6 items.
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- The Boolean solution problem from the perspective of predicate logic (Q1687567) (← links)
- (Q3220555) (← links)
- The 1966 International Congress of Mathematicians: A Micro-memoir (Q5038569) (← links)
- Two decision problems in Contact Logics (Q5241914) (← links)
- Towards logical operations research -- propositional case (Q5957908) (← links)