Paperback (15 Mar 2017)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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
| ISBN: | 9783943334074 |
| Publisher: | Eule Der Minerva Verlag Ug (Hb.) |
| Imprint: | Owl of Minerva Press |
| Pub date: | 15 Mar 2017 |
| Language: | English |
| Number of pages: | 830 |
| Weight: | 1950g |
| Height: | 297mm |
| Width: | 210mm |
| Spine width: | 42mm |
$5.29off
Hardback
Published 23 Aug 2023
Save $5.29
$11.01off
Hardback
Published 30 Jun 2023
Save $11.01
$2.64off
Paperback
Published 28 Jul 2023
Save $2.64
