Annals of Pure and Applied Logic 1999: Vol 99 Index

2 Pages·1999·0.21 MB·English

ANNALS OF
PURE AND
APPLIED LOGIC
Annals of Pure and Applied Logic 99 (1999) 261
Author Index
Volume 99 (1999)
(The issue number is given in front of the page numbers.)
Borisavljevic, M., A cut-elimination proof in intuitionistic
predicate logic (1-3) 105-136
Buss, S. and Mints, G., The complexity of the disjunction and
existential properties in intuitionistic logic (1-3) 93-104
Chapuis, O. and Koiran, P., Saturation and stability in the theory
of computation over the reals (1-3) 1- 49
Coquand, T., A Boolean model of ultrafilters (1-3) 231-239
Ivanov, A.A. and Macpherson, D., Strongly determined types (1-3) 197-230
Kearnes, K.A., Kiss, E.W. and Valeriote, M.A., A geometric
consequence of residual smallness (1-3) 137-169
Kiss, E.W., see Kearnes, K.A. (1-3) 137-169
Koiran, P., see Chapuis, O. (1-3) 1- 49
Louveau, A. and Velickovic, B., Analytic ideals and cofinal types (1-3) 171-195
Macpherson, D., see Ivanov, A.A. (1-3) 197-230
Mints, G., see Buss, S. (1-3) 93-104
Moss, L.S., Erratum to “Coalgebraic logic” [Ann. Pure Appl.
Logic 96 (1999) 277-317] (1-3) 241-259
Niggl, K.-H., .@° considered as a programming language (1-3) 73- 92
Solecki, S., Analytic ideals and their applications (1-3) S1- 72
Valeriote, M.A., see Kearnes, K.A. (1-3) 137-169
Velickovic, B., see Louveau, A. (1-3) 171-195
Elsevier Science B.V.
PII: S0168-0072(99)00025-1