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

Reasoning in Simple Type Theory cover

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