Home > > > Semantics of Type Theory: Correctness, Completeness and Independence Results

Semantics of Type Theory: Correctness, Completeness and Independence Results

0 stars by 0 votes
Google Book Preview of Semantics of Type Theory: Correctness, Completeness and Independence Results
Write a Review

Best Price: Rs. 6,732 - Rs. 7,238 Compare prices from 3 sellers »

Book Details

Contributors
Author T. Streicher
Dimensions
Width 6.14 inch
Height 0.66 inch
Weight 445 g
Format
Binding Paperback
Overview
Number of Pages 299 Pages
Publisher Birkhauser
Publication Year 2012
ISBN-13 9781461267577
ISBN-10 1461267579
Language English
Store Locator
Bookss Local Stores

Semantics of Type Theory: Correctness, Completeness and Independence Results Price in India

Landmarkonthenet

Return Policy
Cash on Delivery ; EMI

6,732.00 Rs. 6,732 + FREE Shipping
RediffBooks

Return Policy
Cash on Delivery ; EMI

7,031.00 Rs. 7,031 + FREE Shipping
Uread

Return Policy
Cash on Delivery ; EMI

7,238.00 Rs. 7,238 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert