Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Chad E Brown editor Christoph Benzmueller editor Joerg Siekmann editor
Format:Paperback
Publisher:College Publications
Published:1st Dec '08
Currently unavailable, and unfortunately no date known when it will be back
This paperback, "Reasoning in Simple Type Theory" from Chad E Brown, Christoph Benzmueller & Joerg Siekmann, was published 1st December 2008 by College Publications.
ISBN: 9781904987703
Dimensions: 234mm x 156mm x 24mm
Weight: 668g
480 pages