Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
DPD 25.99 zł
ORLEN Paczka 10.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
DPD 25.99 zł
ORLEN Paczka 10.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Mathematical Formulae
Język
Angielski
Angielski
Książka
Miękka
This work contains the formula part of the presentation of the mathematical logic R0, a further deve...
Cały opis
Kod Libristo: 16048876
?
122 b
122 b
207.76
zł
Dostępna u dostawcy
Wysyłamy za 15-20 dni
common.delivery_to
common.delivery_to
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
/
Miękka
70.91
zł
/
Twarda
249.37
zł
/
Twarda
242.77
zł
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
Informacje o książce
Pełna nazwa
Mathematical Formulae
Autor
Ken Kubota
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
Liczba stron
828
EAN
9783943334074
ISBN
3943334074
Kod Libristo
16048876
Wydawnictwo
Owl of Minerva Press
Waga
1950
Wymiary
210 x 297 x 42
Kategoria
