Bulletin of the London Mathematical Society · 1986 · 64 citations · 0 references
Geometry Of NumberNon-classical LogicAutomated ReasoningConstructive LogicCombinatorial DesignPhilosophy Of Logic
By Keith J. Devlin pp. 425. DM.158.-.; US$57.60. (Springer-Verlag, 1984.)