The Problem of Interpreting Modal Logic.
Transfinite Ordinals in Recursive Number Theory.
Recursive Unsolvability of a Problem of Thue.
A Note on Quine's Principles of Quantification.
The Identity of Individuals in a Strict Functional Calculus of Second Order.
On the Reduction of the Decision Problem.
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
Ninth Meeting of the Association for Symbolic Logic.
DBLP : dblp-publications-1947.rdf
This ontology contains information detailing publications from dblp