Books listed by ISBN
>
Springer
> Art Quaife
Art Quaife
title
ISBN-13
(ISBN-10)
year of publication
Automated Development of Fundamental Mathematical Theories
978-O-7923-2O21-O
(O-7923-2O21-2)
1992
Arthur Queen