Publisher: Springer; Softcover reprint of the original 1st ed. 2002 edition (November 30, 2013)
Format: PDF / Kindle / ePub
Size: 9.9 MB
Downloadable formats: PDF
This ebook is dedicated to a radical research of the position that types play within the preparation of actual concept. The authors, a mathematical physicist and a thinker of technological know-how, attract the logicians? proposal of version conception in addition to to the ideas of physicists.