Volume 5; Issue 2

Bulletin of Symbolic Logic

Volume 5; Issue 2
1

The Logic of Bunched Implications

Peter W. O'Hearn and David J. Pym
Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 707 KB
english, 1999
2

Notices

Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 219 KB
english, 1999
3

1998-1999 Winter Meeting of the Association for Symbolic Logic

Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 433 KB
english, 1999
4

Front Matter

Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 108 KB
english, 1999
5

Tarski's System of Geometry

Tarski, Alfred, Givant, Steven
Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 411 KB
english, 1999
6

Back Matter

Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 106 KB
english, 1999
7

Church's Problem Revisited

Orna Kupferman and Moshe Y. Vardi
Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 547 KB
english, 1999
8

Gap Forcing: Generalizing the Lévy-Solovay Theorem

Joel David Hamkins
Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 289 KB
english, 1999
9

New Directions in Descriptive Set Theory

Alexander S. Kechris
Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 387 KB
english, 1999
10

Notices

Journal:
Bulletin of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 62 KB
english, 1999
11

BSL volume 5 issue 2 Cover and Front matter

Journal:
Bulletin of Symbolic Logic
Year:
1999
File:
PDF, 2.40 MB
1999