Reasoning in simple type theory
Subtitle: festschrift in honour of Peter B. Andrews on this 70th birthday
By: edited by Christoph Benzmüller ... [et al.].
Contributors: Andrews, P. B. (Peter Bruce), 1937-
Series: Studies in logic. Mathematical logic and foundations -- 17; Studies in logic -- v. 17.
Publisher: College Publications
Published: 2008
Place of publication: London
Language: eng
Number of pages: 467
ISBN-13: 9781904987703
Subjects: Symbolic and mathematical Logic; Type theory
Notes: Includes bibliographical references.