Mathematical Formulae (engleski)

· Eule der Minerva · 2017 · meʒuzvezana · 828 stranica

Kubota, Ken

1 413,15 €

Cijena niža za 30 % u odnosu na preporučenu maloprodajnu cijenu

Uobičajeno 2 014,00 €

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... pročitati sve

Izdavač: Eule der Minerva
Kod:
Godina izdavanja: 2017
Jezik: Engleski jezik
Uvez: Meʒuzvezana
Broj stranica: 828
Širina pakiranja: 21.2 cm
Visina pakiranja: 29.7 cm
Dubina pakiranja: 4.2 cm
Težina pakiranja: 2.1 kg