Higher Logic Mixology

Name: Higher Logic Mixology
Brand: Jason Ehresmann
SKU: ec372f378dc49852789d6eb325cbfdff

1/1

Prices from

28.61

Featured

Description

Higher Logic Mixology

Compare webshops (2)

Shop

Price

£ 28.61

To Shop

£ 28.99

To Shop

Description (0)

Higher Logic Mixology

Brand	Jason Ehresmann
EAN	9798295748295

Cambridge University Press

Programming with Higher Order Logic

Cambridge University Press

Programming with Higher Order Logic

Cambridge University Press

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

College Publications

Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...