On the Consistency of Quine's New Foundations for Mathematical Logic.
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit).
On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
Fifth Meeting of the Association for Symbolic Logic.
Definition by Induction in Quine's New Foundations for Mathematical Logic.
Note on a Recent Set of Postulates for the Calculus of Propositions.
Modalities in the Survey System of Strict Implication.
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
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 Theorem on Deducibility for Second-Order Functions.
Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit.
Fourth Meeting of the Association for Symbolic Logic.
The Hypothesis That Infinite Classes are Similar.
On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1939.rdf