Automated Reasoning in Higher-order Logic

Name: Automated Reasoning in Higher-order Logic
Brand: College Publications
SKU: 9781904987574
Price: 17.5 GBP
Availability: InStock
ISBN: 9781904987574

Set Comprehension and Extensionality in Church's Type Theory

Chad E Brown author

Format:Paperback

Publisher:College Publications

Published:22nd Oct '07

Currently unavailable, and unfortunately no date known when it will be back

Automated Reasoning in Higher-order Logic cover

This paperback, "Automated Reasoning in Higher-order Logic" from Chad E Brown, was published 22nd October 2007 by College Publications.

ISBN: 9781904987574

Dimensions: 234mm x 156mm x 29mm

Weight: 781g

564 pages