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