Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...
34,70 €
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 shipping in the US
Jetzt bei Ebay:
