Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications in Logic

JSL Volume 18 Issue 4 Cover and Front Matter and Errata

Journal of Symbolic Logic
PhilosophyLogic
1953English

JSL Volume 44 Issue 1 Cover and Back Matter

Journal of Symbolic Logic
PhilosophyLogic
1979English

Storage Operators and Directed Lambda-Calculus

Journal of Symbolic Logic
PhilosophyLogic
1995English

Some Two-Cardinal Results for O-Minimal Theories

Journal of Symbolic Logic
PhilosophyLogic
1998English

A Formulation of the Simple Theory of Types

Journal of Symbolic Logic
PhilosophyLogic
1940English

Quantifier Elimination for Neocompact Sets

Journal of Symbolic Logic
PhilosophyLogic
1998English

JSL Volume 41 Issue 2 Cover and Front Matter

Journal of Symbolic Logic
PhilosophyLogic
1976English

Some Results on Measure Independent Gödel Speed-Ups

Journal of Symbolic Logic
PhilosophyLogic
1978English

JSL Volume 22 Issue 1 Cover and Front Matter and Errata

Journal of Symbolic Logic
PhilosophyLogic
1957English

On Bounded Arithmetic Augmented by the Ability to Count Certain Sets of Primes

Journal of Symbolic Logic
PhilosophyLogic
2009English
  • ‹
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy