History and Philosophy of Constructive Type Theory 290 Synthese Library

Name: History and Philosophy of Constructive Type Theory 290 Synthese Library
Brand: Springer
SKU: 9780792361800
Price: 123.49 GBP
Availability: InStock

Product form

£123.49

Includes FREE delivery

RRP £129.99 – you save £6.50 (5%)

Order before 4pm tomorrow for delivery by Sat 27 Jun 2026.

A Hardback by Giovanni Sommaruga

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of History and Philosophy of Constructive Type Theory 290 Synthese Library by Giovanni Sommaruga

Publisher: Springer
Publication Date: 31/07/2000
ISBN13: 9780792361800, 978-0792361800
ISBN10:

Also in:
Ethics and moral philosophy Phenomenology and Existentialism Philosophy: logic