Results Concerning the Decision Problem of Lewis's Calculi S3 and S6.
The Word Problem for Semigroups with Two Generators.
The Heine-Borel Theorem in Extended Basic Logic.
An Improvement in the Theory of Simplicity.
m-Valued Sub-System of (m+n)-Valued Propositional Calculus.
Foundations of Mathematics for the Working Mathematician.
Eleventh Meeting of the Association for Symbolic Logic.
Nicht Konstruktiv Beweisbare Satze Der Analysis.
Human Behaviour and the Principle of Least Effort: an Introduction to Human Ecology
The Completeness of the First-Order Functional Calculus.
Definability and Decision Problems in Arithmetic.
On an Implication Function in Many-Valued Systems of Logic.
A Note on the Deductive Completeness of M-Valued Propositional Calculi.
A Further Consistent Extension of Basic Logic.
Fragments of the Propositional Calculus.
A Note on Nominalism and Recursive Functions.
On Natural Numbers, Integers, and Rationals.
DBLP : dblp-publications-1949.rdf
This ontology contains information detailing publications from dblp