Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

On Play by Means of Computing Machines (Preliminary Version).

Journal of Symbolic Logic
PhilosophyLogic
1988English

JSL Volume 31 Issue 3 Cover and Back Matter

Journal of Symbolic Logic
PhilosophyLogic
1966English

Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic
PhilosophyLogic
1998English

JSL Volume 29 Issue 1 Cover and Front Matter

Journal of Symbolic Logic
PhilosophyLogic
1964English

Effective Bounds From Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization

Journal of Symbolic Logic
PhilosophyLogic
1992English

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic
PhilosophyLogic
2006English

Some Remarks on Generic Structures

Journal of Symbolic Logic
PhilosophyLogic
2009English

A Metamathematical Condition Equivalent to the Existence of a Complete Left Invariant Metric for a Polish Group

Journal of Symbolic Logic
PhilosophyLogic
2006English

Reverse Mathematics and the Equivalence of Definitions for Well and Better Quasi-Orders

Journal of Symbolic Logic
PhilosophyLogic
2004English

Uncountable Dense Categoricity in Cats

Journal of Symbolic Logic
PhilosophyLogic
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy