Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...

Condition: New
£21.95
30-day returns
Dispatches from
Castle Donington, United Kingdom
Returns
Accepted within 30 days
Buyer pays return postage
Payments

About this seller

 
 

About this item

Condition
New
Quantity
2 available
Format
Paperback
ISBN
9781904987574
EAN
9781904987574
Item number
193382909305
Item ending
15 Apr, 2020, 03:47 BST

Item description

"Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensionality in Church's Type Theory, Paperback by Brown, Chad E., ISBN 1904987575, ISBN-13 9781904987574, Brand New, Free P&P in the UK"
See all