[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Higher-Order Logic and Type Theory

Sprache EnglischEnglisch
Buch Broschur
Buch Higher-Order Logic and Type Theory John L. Bell
Libristo-Code: 38621442
Verlag Cambridge University Press, März 2022
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...
? points 63 b
25.21 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 3-5 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Women Who Run with the Wolves Clarissa Pinkola Estés / Broschur
common.buy 8.57 €
TOP
Crafting Interpreters / Broschur
common.buy 51.65 €
TOP
Mit o normalnom Gabor Maté / Broschur
common.buy 21.28 €
TOP
Ikigami: The Ultimate Limit, Vol. 8 Motoro Mase / Broschur
common.buy 11.69 €
To Mock a Mockingbird: and Other Logic Puzzles Raymond Smullyan / Broschur
common.buy 15.12 €
Spiritual Depression Martyn Lloyd Jones / Broschur
common.buy 10.58 €
Bunny Tales Izabella St James / Broschur
common.buy 21.08 €
Love, Pamela / Broschur
common.buy 13.51 €
You Look Like a Thing and I Love You / Broschur
common.buy 13.41 €
Fce teachers book successful. 10 practice test Betsis Andrew / Buch
common.buy 30.26 €
Comprensión auditiva A1-A2 / Broschur
common.buy 31.37 €
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Broschur
common.buy 4.99 €
Coatings Formulation Bodo Müller / Hardcover
common.buy 217.93 €
LLL Algorithm Phong Q. Nguyen / Hardcover
common.buy 249.10 €
Completions of Categories Joachim Lambek / Broschur
common.buy 47.11 €
Categorical Logic and Type Theory B. Jacobs / Broschur
common.buy 152.04 €

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Informationen zum Buch

Vollständiger Name Higher-Order Logic and Type Theory
Autor John L. Bell
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2022
Anzahl der Seiten 75
EAN 9781108986908
ISBN 1108986900
Libristo-Code 38621442
Verlag Cambridge University Press
Gewicht 142
Abmessungen 228 x 152 x 8

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mengenlehre
Philosophie und Religion > Philosophie > Themen der Philosophie > Logik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto