Über deduktive Theorien mit mehreren Sorten von Grunddingen
From MaRDI portal
Publication:2645969
DOI10.1007/BF01448954zbMath0018.33804MaRDI QIDQ2645969
Publication date: 1938
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159977
Related Items
Foundations of applied mathematics. I ⋮ Discrete quantum structures. I: Quantum predicate logic ⋮ A theory of restricted quantification I ⋮ Syntactical Transforms ⋮ Syllogism and quantification ⋮ A finitely axiomatizable undecidable equational theory with recursively solvable word problems ⋮ On syntactical categories ⋮ Logic of many-sorted theories ⋮ Nonhomogeneous Polyadic Algebras ⋮ Neo-Logicism and Its Logic ⋮ Truth Definitions and Consistency Proofs
This page was built for publication: Über deduktive Theorien mit mehreren Sorten von Grunddingen