Axiomatizable sets on the basis of a system of the propositional calculus

From MaRDI portal

Revision as of 08:54, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1250210

Jump to:navigation, search

zbMath0387.03004MaRDI QIDQ1250210

Jerzy Czajsner

Publication date: 1978

Published in: Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Axiomatizable sets on the basis of a system of the propositional calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1250210&oldid=13340935"