Annals of Pure and Applied Logic 1999: Vol 97 Table of Contents PDF
Preview Annals of Pure and Applied Logic 1999: Vol 97 Table of Contents
ANNALS OF PURE AND APPLIED LOGIC Volume 97, Numbers 1-3, 21 March 1999 Abstracted/Indexed in: Current Contents: Physical, Chemical & Earth Sciences, INSPEC Information Services, Mathematical Reviews, PASCAL, Science Citation Index, The Philosopher's Index, Zentrallblatt fir Mathematik Contents S. Shelah and A. Villaveces Toward categoricity for classes with no maximal models F. Kamareddine, R. Bloo and R. Nederpelt On /I-conversion in the /-cube and the combination with abbreviations S. Shelah and J.K. Truss On distinguishing quotients of symmetric groups O.V. Belegradek, A.P. Stolboushkin and M.A. Taitslin Extended order-generic queries M. Baaz and A. Leitsch Cut normal forms and proof complexity N. Danner Ordinals and ordinal functions representable in the simply typed lambda calculus M. Benedikt Hierarchies of measure-theoretic ultrafilters G. Jager and T. Strahm Bar induction and w model reflection G. Gottlob, N. Leone and H. Veith Succinctness as a source of complexity in logical formalisms Author Index This journal is part of ContentsDirect, the free alerting service which sends tables of contents by e-mail for Elsevier Science books and journals. The quickest way to register for ContentsDirect is via the World Wide Web at: www.elsevier.nl/locate/ContentsDirect If you don’t have access to the WWW you can register for this service by sending an e-mail message to [email protected] specifying the title of the publication you wish to register for. The tables of contents are also available on the Elsevier Science website at: www.elsevier.nl or www.elsevier.com or www.elsevier.co.jp Keep track of recently published papers via the journal’s home page on the WWW: http://www.elsevier.nl/locate/apal 0168-0072 (19990321 )97:1-3;1-T
The list of books you might like
