The Use of Dots as Brackets in Church's System.
A System of Axiomatic Set Theory: Part IV. General Set Theory.
Seventh Meeting of the Association for Symbolic Logic.
A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1942.rdf
A Formal Theorem in Church's Theory of Types.
Conditions Affecting the Application of Symbolic Logic.
The Inconsistency of Certain Formal Logic.
New Sets of Postulates for Combinatory Logics.
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
The Combinatory Foundations of Mathematical Logic.
A Correction to the Sentential Calculus of Tarski's Introduction to Logic.
On Existence Conditions for Elements and Classes.