scientific article; zbMATH DE number 3274717
From MaRDI portal
Publication:5560260
zbMATH Open0172.29101MaRDI QIDQ5560260
Publication date: 1968
Full work available at URL: https://eudml.org/doc/188119
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Unnamed Item ⋮ Simplified Axiom Schemes for Implication and Iterated Implication ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
This page was built for publication: