Carte Mathematical Formulae Ken Kubota

Mathematical Formulae

Autor: Ken Kubota
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 9-15 zile
243.00 lei
This work contains the formula part of the presentation of the mathematical logic R0, a further deve...

Informații despre carte

Autor
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
828
EAN
9783943334074
ISBN
3943334074
Enbook ID
16048876
Greutate
1950
Dimensiuni
210 x 297 x 42

Descriere completă

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

S-ar putea să te intereseze

Mazzini, and Other Essays

Henry Demarest Lloyd
124.88 lei

Hatha Yoga Poses Chart

The Mindful Word
77.46 lei
505.22 lei

American Sabor

Marisol Berrios-Miranda
144.91 lei
63.20 lei
213.77 lei
62.99 lei
145.31 lei
3.73 lei

Athens

Thomas N. Mitchell
106.78 lei
358.59 lei
41.05 lei
77.96 lei

Penultimate Peril

Lemony Snicket
69.67 lei

The Cloud Grows Thin

Michael LaFleur
128.22 lei

Clienții care au cumpărat această carte au mai cumpărat și

Organon

Aristotle Aristotle
146.73 lei
71.79 lei
104.66 lei
153.10 lei

Reštaurovanie

Mária Bidelnicová
405.41 lei

15 MINIATURES

MARTIN GILLES
140.25 lei

Die Eiszeit

Theodor Kjerulf
168.47 lei

I Love My Mom

Shelley Admont
88.48 lei

Französische Chormusik

Rupert/SWR Vokalensemble Huber
78.77 lei

Power-Buffet

Stefan Morawetz
115.78 lei
59.35 lei
192.94 lei