Mathematical Formulae
4.7 (115 items)
Limited Time Sale$21.98 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 232087582 | Release Date | 2026/06/18 | List Price | $14.66 | Model Number | 232087582 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 Read more
| ISBN10 | 3943334074 |
|---|---|
| ISBN13 | 978-3943334074 |
| Language | English |
| Publisher | Owl of Minerva Press |
| Dimensions | 8.27 x 1.65 x 11.69 inches |
| Item Weight | 4.3 pounds |
| Print length | 830 pages |
| Publication date | March 15, 2017 |
Logic
Machine Screws
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form