Semantics of Type Theory

Name: Semantics of Type Theory: Correctness, Completeness and Independence Results
Brand: Springer-Verlag New York Inc.
SKU: 9781461267577
Price: 6614.00 INR
Availability: InStock

Correctness, Completeness and Independence Results

by T. Streicher

Springer-Verlag New York Inc. · 2012

₹6,614

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹6,114 for this book (save ₹500).

9% off every book, up to ₹500 off per order.

About this book

Semantics of Type Theory: Correctness, Completeness and Independence Results is written by T. Streicher. This edition is published by Springer-Verlag New York Inc. (2012). It belongs to the Progress in Theoretical Computer Science series.

The book deals with Mathematics, Computer science, Functional programming (computer science) and Programming languages (electronic computers).