search for books and compare prices
Extensional Constructs in Intensional Type Theory
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Springer Verlag
Publication date
July 31, 2012
Pages
228
Binding
Paperback
Edition
Reprint
Book category
Adult Non-Fiction
ISBN-13
9781447112433
ISBN-10
1447112431
Dimensions
0 by 6.10 by 9.25 in.
Published in
Great Britain
Original list price
$149.00
Summaries and Reviews
Editions
Hardcover
from Springer-Verlag New York Inc (March 1, 1997)
9783540761211 | details & prices | 214 pages | 6.50 × 9.75 × 1.00 in. | 1.10 lbs | List price $99.00
About: 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).
About: 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).
Paperback
The price comparison is for this edition
Reprint edition from Springer Verlag (July 31, 2012)
9781447112433 | details & prices | 228 pages | List price $149.00
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.