Annals of Pure and Applied Logic 1999: Vol 97 Index

2 Pages·1999·0.34 MB·English

ANNALS OF
PURE AND
APPLIED LOGIC
ELSEVIER Annals of Pure and Applied Logic 97 (1999) 261
Author Index
Volume 97 (1999)
(The issue number is given in front of the page numbers.)
Baaz, M. and Leitsch, A., Cut normal forms and proof
complexity (1-3) 127-177
Belegradek, O.V., Stolboushkin, A.P. and Taitslin, M.A.,
Extended order-generic queries (1-3) 85-125
Benedikt, M., Hierarchies of measure-theoretic ultrafilters (1-3) 203-219
Bloo, R., see Kamareddine, F. (1-3) 27— 45
Danner, N., Ordinals and ordinal functions representable in
the simply typed lambda calculus (1-3) 127-201
Gottlob, G., Leone, N. and Veith, H., Succinctness as a source
of complexity in logical formalisms (1-3) 231-260
Jager, G. and Strahm, T., Bar induction and wm model reflection (1-3) 221-230
Kamareddine, F., Bloo, R. and Nederpelt, R., On /7-conversion
27- 45
in the A-cube and the combination with abbreviations (1-3)
127-177
Leitsch, A., see Baaz, M. (1-3)
231-260
Leone, N., see Gottlob, G. (1-3)
27- 45
Nederpelt, R., see Kamareddine, F. (1-3)
Shelah, S. and Truss, J.K., On distinguishing quotients of
symmetric groups (1-3) 47— 83
Shelah, S. and Villaveces, A., Toward categoricity for classes
with no maximal models (1-3) 1- 25
Stolboushkin, A.P., see Belegradek, O.V. (1-3) 85-125
Strahm, T., see Jager, G. (1-3) 221-230
Taitslin, M.A., see Belegradek, O.V. (1-3) 85-125
Truss, J.K., see Shelah, S. (1-3) 47— 83
Veith, H., see Gottlob, G. (1-3) 231-260
Villaveces, A., see Shelah, S. (1-3) 1— 25
Elsevier Science B.V.