Semantic Analysis of some Variants of Anderson-like Ontological Proofs Miroslaw Szatkowski OriginalPaper Pages: 317 - 355
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory M. Randall Holmes OriginalPaper Pages: 357 - 372
The Undecidability of Iterated Modal Relativization Joseph S. MillerLawrence S. Moss OriginalPaper Pages: 373 - 407
Book Review: IGOR LAVROV, LARISA MAKSIMOVA, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, US$141.00, pp. xii + 282, ISBN 0-306-47712-2, hardbound. Elliott Mendelson BookReview Pages: 409 - 410