Labelled Deduction

edited by
David Basin
Albert-Ludwigs-Universität Freiburg, Germany
Marcello D'Agostino
Università di Ferrara, Italy
Dov M. Gabbay
King's College, Dept. of Computer Science, London, UK
Seán Matthews
Logica GmbH, Frankfurt am Main, Germany
Luca Viganò
Albert-Ludwigs-Universität Freiburg, Germany

Applied Logic Series Vol.17
Kluwer Academic Publishers, Dordrecht
Hardbound, May 2000, 280 pp.
ISBN 0-7923-6237-3

You can order the book from Kluwer's website.

Contents and Contributors