Volume 47; Issue 2

Annals of Pure and Applied Logic

Volume 47; Issue 2

1

Labelling systems and R.E. structures

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 1.46 MB

english, 1990

2

Post complete and 0-axiomatizable modal logics

Fabio BELLISSIMA

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 1.61 MB

english, 1990

3

A new model for intuitionistic analysis

Philip Scowcroft

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 1.12 MB

english, 1990

4

Fixed point theory in weak second-order arithmetic

Naoki Shioji, Kazuyuki Tanaka

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 1.48 MB

english, 1990

5

Algorithms for sentences over integral domains

Journal:

Annals of Pure and Applied Logic

Year:

1990

Language:

english

File:

PDF, 612 KB

english, 1990