Studia Logica · 1975 · 70 citations · 1 references
ComputingComputer ScienceMathematicsFormal MethodsSet TheoryAxiomatic Set TheoryModel TheoryPredicate LogicProof ComplexityStructural ComplexityStructural Proof TheoryStructural Properties Of Complexity Classes
1
J. Łoś, Roman Suszko · Indagationes Mathematicae (Proceedings) · 1958 · 294 citations
Humanities, Philosophy, Logic +11