Kniha Mathematical Formulae Ken Kubota

Mathematical Formulae

Autor: Ken Kubota
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Owl of Minerva Press
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
42.33
This work contains the formula part of the presentation of the mathematical logic R0, a further deve...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
828
EAN
9783943334074
ISBN
3943334074
Enbook ID
16048876
Hmotnosť
1950
Rozmery
210 x 297 x 42

Kompletný popis

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

Mohlo by vás zaujímať

Mazzini, and Other Essays

Henry Demarest Lloyd
22.78

Hatha Yoga Poses Chart

The Mindful Word
13.55
88.12

American Sabor

Marisol Berrios-Miranda
25.93
11.39
38.80
10.90
26.22
0.68

Athens

Thomas N. Mitchell
18.46
7.06
13.45

Penultimate Peril

Lemony Snicket
11.68

The Cloud Grows Thin

Michael LaFleur
21.70

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Organon

Aristotle Aristotle
25.24
13.65
19.93
25.73

Reštaurovanie

Mária Bidelnicová
79.22

15 MINIATURES

MARTIN GILLES
26.71

Die Eiszeit

Theodor Kjerulf
30.35

I Love My Mom

Shelley Admont
15.32

Französische Chormusik

Rupert/SWR Vokalensemble Huber
14.04

Power-Buffet

Stefan Morawetz
20.82
10.60
34.67