Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Szlovák posta 4.49 €
SPS futárszolgálat 4.99 €
GLS futár 3.99 €
GLS pont 2.99 €
Packeta futárszolgálat 4.99 €
Packeta pont 2.99 €
Hogyan vásároljunk
Segítség
Kézbesítés
Szlovák posta 4.49 €
SPS futárszolgálat 4.99 €
GLS futár 3.99 €
GLS pont 2.99 €
Packeta futárszolgálat 4.99 €
Packeta pont 2.99 €
Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
02/210 210 99
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Mathematical Formulae
Nyelv
Angol
Angol
Könyv
Puha kötésű
This work contains the formula part of the presentation of the mathematical logic R0, a further deve...
Teljes leírás
Libristo kód: 16048876
?
122 b
122 b
48.67
€
Beszállítói készleten
Küldés 15-20 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
16.55
€
/
Kemény kötésű
55.74
€
/
Kemény kötésű
61.90
€
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 visit: http://doi.org/10.4444/100.10
Információ a könyvről
Teljes megnevezés
Mathematical Formulae
Szerző
Ken Kubota
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2017
Oldalszám
828
EAN
9783943334074
ISBN
3943334074
Libristo kód
16048876
Kiadó
Owl of Minerva Press
Súly
1950
Méretek
210 x 297 x 42
