Annals of Pure and Applied Logic
, Volume 105
Volume 105, Number 1-3, 1 November 2000
Robert Bonnet
,
Matatyahu Rubin
: On well-generated Boolean algebras. 1-50
BibTeX
Timothy J. Carlson
: Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis. 51-81
BibTeX
Larisa Maksimova
: Intuitionistic logic and implicit definability. 83-102
BibTeX
Vladimir Tolstykh
: Elementary equivalence of infinite-dimensional classical groups. 103-155
BibTeX
Paul Corazza
: The wholeness axiom and Laver sequences. 157-260
BibTeX
Françoise Point
,
Frank O. Wagner
: Essentially periodic ordered groups. 261-290
BibTeX
Copyright ©
Sat May 16 23:50:44 2009 by
Michael Ley
(
ley@uni-trier.de
)