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.
The human use of human beings - cybernetics and society.
Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur.
Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe.
Twelfth Meeting of the Association for Symbolic Logic.
On Complete Atomic Proper Relation Algebras.
The Elimination of Contextually Defined Predicates in a Modal System.
Existence of Classes and Value Specification of Variables.
A Complete Theory of Natural, Rational, and Real Numbers.
Turning Shoe Information to Knowledge of Technology and Deals
Aktors
en_US
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
website
A Reduction in the Number of Primitive Ideas of Arithmetic.
A Test for the Existence of Tautologies According to Many-Valued Truth-Tables.
DBLP : dblp-publications-1950.rdf
This ontology contains information detailing publications from dblp