by Dov Gabbay (Author), Andreas Nonnengart (Author), Hans J. Ohlbach (Author), Rudolf Kruse (Author), Dov Gabbay (Author)
Format: Paperback
Pages: 644
Edition: 1997
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540630953
ISBN 13: 9783540630951