English
Paperback
₹3553
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author
This work contains the formula part of the presentation of the mathematical logic R0 a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory) the binding of type variables with the abstraction operator and single variable binder ? (type abstraction) and (some of) the means necessary for dependent types (dependent type theory).For more information please see: http: //doi.org/10.4444/100.10
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9783943334074
Publication Date
-15-03-2017
Pages
-830
Weight
-1975 grams
Dimensions
-210x297x41.82 mm
