scientific article; zbMATH DE number 3415802
From MaRDI portal
Publication:5680089
zbMath0264.02008MaRDI QIDQ5680089
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
FOIL axiomatized ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Logical investigations on PTQ arising from programming requirements ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Completeness in hybrid type theory ⋮ Reichenbach and the logic of quantum mechanics ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument
This page was built for publication:
