1
by Anglin, W.S.
Published 1994
Springer New York
Table of Contents: ... Middle Ages -- 20 Geometry in the Early Middle Ages -- 21 Khayyam and the Cubic -- 22 The Later Middle...

2
by Anglin, W.S., Lambek, J.
Published 1995
Springer New York
Table of Contents: ... Problem -- 22 Lambda Calculus -- 23 Logic fromAristotle to Russell -- 24 Intuitionistic Propositional...