Pages that link to "Item:Q2645969"
From MaRDI portal
The following pages link to Über deduktive Theorien mit mehreren Sorten von Grunddingen (Q2645969):
Displayed 11 items.
- A theory of restricted quantification I (Q3249762) (← links)
- Nonhomogeneous Polyadic Algebras (Q3288998) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- Syntactical Transforms (Q5608743) (← links)
- Syllogism and quantification (Q5731761) (← links)
- On syntactical categories (Q5793821) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)
- Logic of many-sorted theories (Q5816105) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
- Discrete quantum structures. I: Quantum predicate logic (Q6203829) (← links)