Volume 71; Issue 1

Annals of Pure and Applied Logic

Volume 71; Issue 1

1

Elementary descent recursion and proof theory

Harvey Friedman, Michael Sheard

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 2.69 MB

english, 1995

2

Separations of theories in weak bounded arithmetic

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.20 MB

english, 1995

3

Applications of cohomology to set theory I: Hausdorff gaps

Daniel E. Talayco

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 2.61 MB

english, 1995

4

Editorial Board

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 57 KB

english, 1995