English Deutsch

Kategorien

Schnellkauf

Bitte geben Sie die Artikelnummer aus unserem Katalog ein.

Mehr über...

Informationen

Ken Kubota: Mathematical Formulae

Ken Kubota: Mathematical Formulae
Bild vergrößern

80,00 EUR

inkl. 7 % MwSt. zzgl. Versandkosten

Lieferzeit: 1 Woche

Art.Nr.: 978-3-943334-07-4
Für weitere Informationen besuchen Sie bitte die Homepage zu diesem Artikel.

Ken Kubota: Mathematical Formulae

For customers outside the European Union (i.e. U.S. customers), no VAT is charged. Please login with your country information to see prices without VAT.

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 The Mathematical Logic R0.

Diesen Artikel haben wir am Wednesday, 15. March 2017 in unseren Katalog aufgenommen.

Währungen

VISA / MasterCard

Warenkorb

Ihr Warenkorb ist leer.

Willkommen zurück!

E-Mail-Adresse:
Passwort:
Passwort vergessen?

Kundengruppe


Kundengruppe: Gast

Hersteller Info

Hersteller