From a Flexible Type System to Metapredicative Wellordering Proofs

From a Flexible Type System to Metapredicative Wellordering Proofs - Ranzi, Florian

From a Flexible Type System to Metapredicative Wellordering Proofs

Broschiertes Buch

Jetzt bewerten Jetzt bewerten

Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.

Andere Kunden interessierten sich auch für

Richard Hunt
Everyday Type

11,99 €
Roman Lytvyn
Build Your Fortune With Online Store or Essential Guide To Prestashop B&W Edition

21,99 €
Nick Laughter
7 Steps to Removing Spyware

11,99 €
Roni Banerjee
What to Pay for Software for Buying Groups

47,99 €
Victor Aladjev
The Art of Programming in the Mathematica System

55,99 €
Maria Winslow
The Practical Manager's Guide to Open Source

37,99 €
Victor Aladjev
Extension of Mathematica system functionality

45,99 €

Produktbeschreibung

Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.

Produktdetails

Produktdetails
Verlag: Lulu.com
Seitenzahl: 238
Erscheinungstermin: 21. Oktober 2015
Englisch
Abmessung: 210mm x 148mm x 13mm
Gewicht: 314g
ISBN-13: 9781326455200
ISBN-10: 1326455206
Artikelnr.: 66413804

Produktdetails

Verlag: Lulu.com
Seitenzahl: 238
Erscheinungstermin: 21. Oktober 2015
Englisch
Abmessung: 210mm x 148mm x 13mm
Gewicht: 314g
ISBN-13: 9781326455200
ISBN-10: 1326455206
Artikelnr.: 66413804

Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb

Impressum

www.buecher.de ist ein Shop der
buecher.de GmbH & Co. KG
Bürgermeister-Wegele-Str. 12,
86167 Augsburg
Amtsgericht Augsburg HRA 13309

Persönlich haftender Gesellschafter: buecher.de Verwaltungs GmbH
Amtsgericht Augsburg HRB 16890

Vertretungsberechtigte:
Günter Hilger, Geschäftsführer
Christian Sailer, Geschäftsführer

Sitz der Gesellschaft:Augsburg
Ust-IdNr. DE 204210010

Bitte wählen Sie Ihr Anliegen aus.

Rechnungen

Retourenschein anfordern

Bestellstatus

Storno