On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate.
Zusammenhang der Mehrfachen und Transfiniten Rekursionen.
A Remark Concerning Decidability of Complete Theories.
A Demonstrably Consistent Mathematics - Part I.
On Complete Atomic Proper Relation Algebras.
Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe.
The Elimination of Contextually Defined Predicates in a Modal System.
Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur.
A Complete Theory of Natural, Rational, and Real Numbers.
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 Reduction in the Number of Primitive Ideas of Arithmetic.
Twelfth Meeting of the Association for Symbolic Logic.
Existence of Classes and Value Specification of Variables.
The human use of human beings - cybernetics and society.
A Test for the Existence of Tautologies According to Many-Valued Truth-Tables.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1950.rdf