Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 85

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 85, Number 1, 29 April 1997

- view
  authority control:
- export record
  dblp key:
  - journals/apal/GlassRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GlassRS97
Thomas Glaß, Michael Rathjen, Andreas Schlüter:
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. 1-46
- view
  authority control:
- export record
  dblp key:
  - journals/apal/JinS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/JinS97
Renling Jin, Saharon Shelah:
Can a Small Forcing Create Kurepa Trees. 47-68
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Palmgren97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Palmgren97
Erik Palmgren:
A Sheaf-Theoretic Foundation for Nonstandard Analysis. 69-86

Volume 85, Number 2, 6 May 1997

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Japaridze97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Japaridze97
Giorgi Japaridze:
A Constructive Game Semantics for the Language of Linear Logic. 87-156
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Stanley97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Stanley97
M. C. Stanley:
A Non-Generic Real Incompatible with 0^#. 157-192

Volume 85, Number 3, 23 May 1997

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Beklemishev97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Beklemishev97
Lev D. Beklemishev:
Induction Rules, Reflection Principles, and Provably Recursive Functions. 193-242
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Otto97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Otto97
Martin Otto:
Canonization for Two Variables and Puzzles on the Square. 243-282

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.