Author(s): Roland Hausser, Dana Scott
Series: Symbolic Computation / Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Year: 1989
Language: English
Commentary: free web version, missing figure on page 62 added
Pages: 441