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
Biophysics
$249.99
Gelenkknorpeldefekte
$59.99
Computer Science and Engineering in Health Services
$39.99
Anticarcinogenesis and Radiation Protection 2
$169.99
Advancement of Optical Methods and Fracture and Fatigue, Volume 3
$219.99
The Political Economy of West Germany, 194585
$169.99
Our Climate and the Energy Problem
$17.99
Novel aspects of the biology of Chrysomelidae
$259.00
The Fractured Marketplace for Standardized Testing
$84.99
On Generalised Statistical Equilibrium and Discrete Quantum Gravity
$179.99
Solid Oral Dose Process Validation, Volume Two
$99.99
Land Degradation in India
$54.99
Die politischen Systeme Lateinamerikas
$59.99
Lacan + Architecture
$139.00
Leukocyte Integrins in the Immune System and Malignant Disease
$84.99
Rapid Methods for Analysis of Biological Materials in the Environment
$54.99
Fertigungsverfahren 5
$49.99
Ion-Selective Microelectrodes
$84.99
Wireless Algorithms, Systems, and Applications
$84.99
Mit Fehlern zum Anlageerfolg
$49.99
Magisterium: The Copper Gauntlet
$6.74
Gluten-free Bread Technology
$219.99
Chemiepolitik zwischen Marktwirtschaft und kologischer Strukturpolitik
$49.99
Englische Weltpolitik in englischer Beleuchtung
$59.99
Die Wirkung bankaufsichtlicher Eigenkapitalanforderungen
$44.99
Strategic Management of Universities in the Ibero-America Region
$54.99
Metalevel Architectures and Separation of Crosscutting Concerns
$39.99
Economic Inequality and Policy Control in the United States
$54.99
Simulation Tools and Techniques
$149.00
Common Lisp Recipes
$99.99
The Palgrave Handbook of Altruism, Morality, and Social Solidarity
$109.99
Potato Production Systems
$219.99
React and Libraries
$44.99
Arbeitswissenschaft
$229.99
Funktionelle Pathologie in der Chirurgie
$59.99
Engineering Multi-Agent Systems
$54.99
Insights on Environmental Changes
$84.99
Wasser und Luft
$84.99
JFC Fuller: Military Thinker
$79.99
The Victim in Criminal Law and Justice
$109.99
