Admissible Semantics for Quantified Modal and Substructural Logics
Lecture Notes in Logic No. 38,
Cambridge University Press and the Association for Symbolic Logic,
xiv+268pp, 2011.
Topoi : The Categorial Analysis of Logic
Studies in Logic, 98, North-Holland Publishing Co., Amsterdam
- First Edition, 1979, xv + 486pp.
- Revised Edition (expanded), 1984, xvi + 551pp.
- Second printing of Revised Edition, 1986.
- TOΠOCbI (Russian) [Topoi].
Translation of first edition by V.N. Grishin and V.V. Shokurov.
Translation edited, and with a preface, by D.A. Bochvar, 'Mir', Moscow, 1983, 488pp. - Internet edition in the Cornell University Library Historical Mathematics Monographs Collection, 2002.
- Dover Publications reprint, 2006.
- Downloadable as pdf from Project Euclid, 2014.
Lectures on the Hyperreals: An Introduction to Nonstandard Analysis
Graduate Texts in Mathematics 188, Springer-Verlag, New York, xiv + 289pp, 1998.
Reprinted by World Publishing Corporation, China, 2011.
CSLI Lecture Notes Number 43,
Center for the Study of Language and Information, Stanford University.
Distributed by University of Chicago Press. vi + 273 pp, 1993.
CSLI Lecture Notes Number 7,
Center for the Study of Language and Information, Stanford University.
Distributed by University of Chicago Press.
- First Edition, x + 133 pp, 1987.
- Second printing of First Edition, 1988
- Second Edition, Revised and Expanded, x + 180pp, 1992.
Universitext, Springer-Verlag, New York,
1987, x + 190pp.
Lecture Notes in Computer Science 130, Springer-Verlag, 1982, xi + 304pp.
download pdf from Springer
