by Dov M. Gabbay (Author), Hans J??rgen Ohlbach (Author)
Format: Paperback
Pages: 740
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540613137
ISBN 13: 9783540613138