Programming with Higher Order Logic

Name: Programming with Higher Order Logic
Brand: Cambridge University Press
SKU: befbfb083d182378729a266fde0c5fc1

1/1

Prices from

37.00

Featured

Description

Programming with Higher Order Logic

Compare webshops (2)

Shop

Price

£ 37.00

To Shop

£ 41.77

To Shop

Description (0)

Programming with Higher Order Logic

Brand	Cambridge University Press
EAN	9780521879408

Cambridge University Press

Higher Order Logic and Type Theory (Elements in Philosophy Logic)

Springer

Higher-Order Components for Grid Programming: Making Grids More Usable

Cambridge University Press

Properties and Propositions: The Metaphysics of Higher-Order Logic

Cambridge University Press

Properties and Propositions: The Metaphysics of Higher Order Logic