Grafik für das Drucken der Seite Abbildung von Kubota | Mathematical Formulae | 1. Auflage | 2017 | beck-shop.de

Kubota

Mathematical Formulae

lieferbar, ca. 10 Tage

Rezensionen ansehen

Standardpreis

90,00 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Grafik Warenkorb In den Warenkorb Grafik Merkliste Auf die Merkliste

Buch. Softcover

2017

827 S.

In englischer Sprache

Owl of Minerva Press GmbH. ISBN 978-3-943334-07-4

Format (B x L): 21.2 x 29.7 cm

Gewicht: 2106 g

Produktbeschreibung

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

Mehr anzeigen

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

    • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:

        • Grafik Warenkorb In den Warenkorb Grafik 4-Wochen-Test für beck-online 4-Wochen-Test bestellen

        Grafik MerklisteAuf die Merkliste Nachricht, wenn verfügbar
        nach oben
        X

        Das Passwort muss mind. 8 Zeichen enthalten.
        (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

        Schließen

        Ihre Daten werden geladen ...