Announcements Handbooks of Logic Handbook of Logic in Computer Science The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of the application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters, giving an in-depth overview of one of the major topics in the field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come, and should be essential reading for all those interested in theoretical computer science and logic. Handbook of Logic in Computer Science Edited by S. Abramsky, P. M. Gabbay and T. S. E. Maibaum Volume 1 - Background: Mathematical Structures ISBN 0-19-853735-2 Clarendon Press 700 pages £70.00 Hardback Valuation systems and consequence relations Mark Ryan and Martin Sadler Recursion theory Iain Phillips Universal algebra Karl Meinke and John Tucker Axel Poigne Category theory Topology Mike Smyth Janos Makowsky Model theory Volume 2 - Background: Computational Structures ISBN 0-19-853761-1 Clarendon Press 544 pages £60.00 Hardback Term rewriting systems Jan-Willem Klop Lambda calculi with types Henk Barendregt Algorithmic proof systems Dov Gabbay Designing a theorem prover Larry. Paulson Modal and temporal logics Colin Stirling Both available since 1992.
Handbook of Logic in Artificial Intelligence and Logic Programming The Handbook of Logic in Artificial Intelligence and Logic Programming is a multivolume work covering all major areas of the application of logic to artificial intelligence and logic programming. The Handbook comprises six volumes. Each volume contains
five or six chapters, giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and artificial intelligence for years to come, and should be essential reading for all those interested in artificial intelligence and logic. Handbook of Logic in Artificial Intelligence and Logic Programming Edited by D. M. Gabbay, C. J. Hogger and J. A. Robinson Volume 1 - Logical Foundations (Volume Coordinator: J. Siekmann) ISBN 0-19-853745-X, Clarendon Press, 518 pages, Hardback, 1993 The role of logic in artificial intelligence David J. Israel First order logic Martin Davis Methods and calculi for deduction W. Bibel and E. Eder Deduction systems based on resolution N. Einsinger and H. J. Ohlbach Equational reasoning and term rewriting David A. Plaisted Basic modal logic Melvin Fitting Logical features of Horn clauses Wilfrid Hodges
Enquiries and Orders Enquiries about the Handbook series, or information regarding orders can be answered by Jane Spurr at Imperial College (
[email protected]). Could colleagues urge their libraries to order the Handbook. Oxford University Press is a non-profit making University publisher who is publishing the Handbook series at a loss, and early orders will have the good psychological effect which we hope will result in an early paperback edition.
Subscription Subscription form for hardcopies To Max-Planck-Institut fur Informatik Regina Kraemer D-66123 Saarbriicken Germany We would like to receive hard copies of the Bulletin of the IGPL. Our address is: Name: Institution: Street: Town: Country: IGPL Member:
(yes or no)
Please do not send us all issues up to volume ... number ... The price per issue is for members of the IGPL: for other private people: For libraries: in countries with soft currencies:
DM 15 (US$ 10) DM 30 (USI 20) DM 40 (US? 30) free
It will be charged separately for each issue. The first bill will be sent out with the first issue. Follow up issues will not be delivered until the last one has been paid. Yours sincerely
