Buy Used and New Christoph Benzmueller Books

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)

by Christoph Benzmueller,Chad E Brown,Joerg Siekmann

ISBN 13: 9781904987703

Format: Paperback (480 pages)
Publisher: College Publications
Published: 01 Dec 2008

Save for later