scientific article; zbMATH DE number 3230232
From MaRDI portal
Publication:5518345
zbMath0143.00702MaRDI QIDQ5518345
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Freely generated filters in free Boolean algebras ⋮ Independent Recursive Axiomatizability in Arithmetic ⋮ Unnamed Item ⋮ Properties of the logical consequence operation and its relationship with the independence of propositional logic ⋮ Covers in lattices of quasivarieties and independent axiomatizability ⋮ Independent axiomatizability of sets of sentences ⋮ Key notions of Tarski's methodology of deductive systems
This page was built for publication:
