History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)

Loading edition detail...

Preparing this view.

History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)

Giovanni Sommaruga

Bookitis Pick

Cover for History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)

Image source: Open Library

Giovanni SommarugaPublished February 1, 2000cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Edition	1 edition
Publisher	Springer
Pages	368
Format	Hardcover
Search language	english
ISBN_13	978-0-792-36180-0 primary
ISBN_10	0-792-36180-6 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.