default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 76

> 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 76, Number 1, 15 November 1995

- view
  authority control:
- export record
  dblp key:
  - journals/apal/FerrariM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FerrariM95
Mauro Ferrari, Pierangelo Miglioli:
A Method to Single out Maximal Propositional Logics with the Disjunction Property I. 1-46
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ForemanM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ForemanM95
Matthew Foreman, Menachem Magidor:
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. 47-97

Volume 76, Number 2, 6 December 1995

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BarbaneraB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BarbaneraB95
Franco Barbanera, Stefano Berardi:
A Strong Normalization Result for Classical Logic. 99-116
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FerrariM95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FerrariM95a
Mauro Ferrari, Pierangelo Miglioli:
A Method to Single out Maximal Propositional Logics with the Disjunction Property II. 117-168
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Plato95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Plato95
Jan von Plato:
The Axioms of Constructive Geometry. 169-200

Volume 76, Number 3, 27 December 1995

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Huuskonen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Huuskonen95
Taneli Huuskonen:
Observations about Scott and Karp Trees. 201-230
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Sommer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Sommer95
Richard Sommer:
Transfinite Induction within Peano Arithmetic. 231-289
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Zapletal95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Zapletal95
Jindrich Zapletal:
More on the Cut and Choose Game. 291-301

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.