Pages that link to "Item:Q3240235"
From MaRDI portal
The following pages link to Undecidability of first order sentences in the theory of free groupoids (Q3240235):
Displayed 4 items.
- Scientific works of Stanislaw Jaskowski (Q1211973) (← links)
- The research of Jaskowski on decidability theory of first order sentences (Q1220925) (← links)
- Undecidability of the homogeneous formulas of degree 3 of the predicate calculus (Q1220926) (← links)
- Stanisław Jaśkowski: Life and Work (Q4611685) (← links)