Pages that link to "Item:Q2645124"
From MaRDI portal
The following pages link to Beiträge zum Entscheidungsproblem der mathematischen Logik (Q2645124):
Displayed 7 items.
- Sur les formes normales (Q2651856) (← links)
- Ein Verfahren der mathematischen Logik (Q5769704) (← links)
- On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate (Q5772181) (← 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 (Q5806807) (← links)
- Contributions to the reduction theory of the decision problem (Q5808413) (← links)