1
by Kfoury, A.J., Moll, Robert N., Arbib, Michael A.
Published 1982
Springer New York
... basic results were discovered by mathematical logicians prior to the development of the first stored...