Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications in Logic

An Application of Graphical Enumeration to PA

Journal of Symbolic Logic
PhilosophyLogic
2003English

Berkeley Edmund C.. The Relations Between Symbolic Logic and Large-Scale Calculating Machines. Science, Vol. 112 (1950), Pp. 395–399.

Journal of Symbolic Logic
PhilosophyLogic
1952English

Errata

Journal of Symbolic Logic
PhilosophyLogic
1962English

JSL Volume 31 Issue 4 Cover and Back Matter and Errata

Journal of Symbolic Logic
PhilosophyLogic
1966English

JSL Volume 50 Issue 4 Cover and Back Matter and Errata

Journal of Symbolic Logic
PhilosophyLogic
1985English

JSL Volume 28 Issue 1 Cover and Front Matter

Journal of Symbolic Logic
PhilosophyLogic
1963English

Disquotational Truth and Analyticity

Journal of Symbolic Logic
PhilosophyLogic
2001English

The Undecidability of Second Order Linear Logic Without Exponentials

Journal of Symbolic Logic
PhilosophyLogic
1996English

JSL Volume 30 Issue 2 Cover and Front Matter

Journal of Symbolic Logic
PhilosophyLogic
1965English

Cumulative Index to Volumes 27–55 (1962–1990)

Journal of Symbolic Logic
PhilosophyLogic
1990English
  • ‹
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy