scientific article; zbMATH DE number 3382303
From MaRDI portal
Publication:5652648
zbMath0242.02018MaRDI QIDQ5652648
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) Axiomatic model classes (08C10) General logic (03B99) Abelian groups (20K99) Foundations (20A99)
Related Items (2)
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ The two-property and condensed detachment
This page was built for publication: