Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Extensional Constructs in Intensional Type Theory
Best Price (Coupon Required):
Buy Extensional Constructs in Intensional Type Theory for $107.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$119.00 | $119.00 |
|
10% OFF
This deals requires coupon
|
$107.10 | See Site | In stock | Visit Store |
Product Details
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Reviews
Questions & Answers
Allgemeine und Spezielle Chirurgische Operationslehre
$69.95
Bacteriophages
$189.00
Engineering Geology for Society and Territory
$549.99
On Meaning and Mental Representation
$49.99
Documenting Mobility in the Japanese Empire and Beyond
$139.99
Evolutionary Genetics of Invertebrate Behavior
$169.99
Infinitesimalrechnung
$79.99
The Natural Environment of the Mid-Atlantic Ridge
$129.99
Pulvermetallurgie elektrischer Kontakte
$44.99
Analytic and Geometric Study of Stratified Spaces
$44.99
Decimal Tables for the Reduction of Hindu Dates from the Data of the Srya-Siddhnta
$39.99
Vision and Audience in Medieval Drama
$39.99
Informatics in Control, Automation and Robotics
$229.00
Geschftsmodelle in die Zukunft denken
$49.99
Ein Arzt Erlebt Seine Zeit
$59.99
Diagnostic Imaging of Lung Cancers
$129.00
The Christian Roots of Individualism
$99.99
Challenging the Deprofessionalisation of Teaching and Teachers
$109.99
Drawing People Using Grids
$18.52
Differential Geometry and Mathematical Physics
$279.99
Untersuchung von elektro-mechanischen Schaltelementen
$54.99
Obstructive Sleep Apnea
$219.99
Atlantic Salmon
$84.99
Vegetation of the Arabian Peninsula
$249.99
Wirkfaktoren menschlicher Vernderungsprozesse
$39.99
Ganz einfach kommunizieren
$37.99
Mateo Finds His Wow
$7.46
Brennpunkte der Schizophrenie
$59.99
Berufsbiografie und Familiengrndung
$59.99
Advances in Computational Intelligence and Communication Technology
$189.00
Directivity Based Multichannel Audio Signal Processing For Microphones in Noisy Acoustic Environment
$99.99
Flotation Technology
$129.00
Design Science and Its Importance in the German Mathematics Educational Discussion
$19.99
An Examination of Asian and Pacific Islander LGBT Populations Across the United States
$54.99
Georg Simmel und die aktuelle Stadtforschung
$44.99
Globalization and the State in Contemporary Crime Fiction
$89.00
Software Engineering and Middleware
$54.99
A Primer of Multicast Routing
$54.99
Origin and Evolution of the Vertebrate Telencephalon, with Special Reference to the Mammalian Neocor
$84.99
Offene Kinder- und Jugendarbeit in der Schweiz
$64.99
