D. A. Wolfram

titleISBN-13
(ISBN-10)
year of publication
The Clausal Theory of Types978-O-521-39538-O
(O-521-39538-O)
1993

A. W. · D.A. · D.W. · D Wolfram

D. A. Wood