Knygos.lt klubas Knygos.lt nariams
64,60 €
-30%
Įprastai
92,29 €
Mathematical Formulae
Mathematical Formulae
Knygos.lt klubas Knygos.lt nariams
64,60 €
-30%
Įprastai
92,29 €
  • Išsiųsime per 12–18 d.d.
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
  • Leidėjas:
  • Metai: 2017
  • ISBN-10: 3943334074
  • ISBN-13: 9783943334074
  • Formatas: 21 x 29.7 x 4.2 cm, minkšti viršeliai
  • Kalba: Anglų

Mathematical Formulae (el. knyga) (skaityta knyga) | Ken Kubota | knygos.lt

Atsiliepimai

Įvertinimų nėra.
Įvertink ir tu! Visi atsiliepimai

Aprašymas

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

Knygos.lt klubas
Knygos.lt nariams
64,60 €
-30%
Įprastai
92,29 €
Kaina registruotiems pirkėjams
Prisijunkite ir už šią prekę
gausite 0,92 Knygų Eurų!?
Išsiųsime per 12–18 d.d.
Įsigykite dovanų kuponą
Daugiau
  • Autorius: Ken Kubota
  • Leidėjas:
  • Metai: 2017
  • ISBN-10: 3943334074
  • ISBN-13: 9783943334074
  • Formatas: 21 x 29.7 x 4.2 cm, minkšti viršeliai
  • Kalba: Anglų

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

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%
(rodomas nebus)
Knygos.lt komentarų taisyklės
[{"option":"222","probability":1,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba631ba76d1782294065.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"221","probability":1.3,"style":{"backgroundColor":"#e1032e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba61ea9f381782294046.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"220","probability":1.6,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba60167d251782294017.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"219","probability":1.5,"style":{"backgroundColor":"#e2022e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5ea1c47d1782293994.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"218","probability":1.5,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5d38b4a21782293971.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"217","probability":1.6,"style":{"backgroundColor":"#e3022e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5b981b7a1782293945.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"216","probability":1.4,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba58b535551782293899.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"215","probability":0.1,"style":{"backgroundColor":"#ffe01a"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba53a6496f1782293818.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}}]