by Andrei Voronkov (Author)
Format: Paperback
Pages: 532
Edition: 1992
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540554602
ISBN 13: 9783540554608