Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
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 65 b
26.69 € inkl. MwSt.
Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Type Theory and Formal Proof Rob Nederpelt / Buch Hardcover
common.buy 101.29 €
Simple Type Theory William Farmer / Buch Hardcover
common.buy 84.09 €
Dive Into Systems Suzanne J. Matthews / Buch Broschur
common.buy 60.19 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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

Das könnte Sie auch interessieren

Top
Set Theory Kenneth Kunen / Buch Broschur
common.buy 24.29 €
Top
Foundations of Mathematics Kenneth Kunen / Buch Broschur
common.buy 24.89 €
Top
Essential Grammar in Use Supplementary Exercises Helen Naylor / Buch Broschur
common.buy 18.39 €
Computable Calculus Oliver Aberth / Buch Broschur
common.buy 94.79 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Buch Hardcover
common.buy 76.99 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Buch Broschur
common.buy 54.89 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Buch Hardcover
common.buy 482.29 €
Completions of Categories Joachim Lambek / Buch Broschur
common.buy 26.99 €
Categorical Logic and Type Theory B. Jacobs / Buch Broschur
common.buy 139.39 €
I Care About: My Growing Brain LENNON LIZ / Buch Broschur
common.buy 8.49 €
Moreno's dictionary of Spanish-named California cities and towns Henry M. Moreno / Buch Broschur
common.buy 17.69 €
Top
You Look Like a Thing and I Love You Janelle Shane / Buch Broschur
common.buy 12.99 €
Political Journalism in London, 1695-1720 Ashley Marshall / Buch Hardcover
common.buy 142.89 €
The Bull and Bear Diet Thomas Brandt / Buch Broschur
common.buy 14.99 €
A Critical And Exegetical Commentary On The Gospel According To St. Matthew (1907) Willoughby Charles Allen / Buch Broschur
common.buy 37.89 €
Top
Crafting Interpreters Robert Nystrom / Buch Broschur
common.buy 45.89 €
A Tramp's Sketches (1912) Stephen Graham / Buch Broschur
common.buy 33.99 €
Light The Fire: A Reverse Harem Fantasy Elizabeth Briggs / Buch Broschur
common.buy 10.49 €
Pyrrhus Jacob Abbott / Buch Broschur
common.buy 7.69 €
Top
Fce teachers book successful. 10 practice test Betsis Andrew / Buch Buch
common.buy 28.09 €
Inked Jeb Blount / Buch Hardcover
common.buy 22.99 €
Mastering UI Development with Unity Dr. Ashley Godbold / Buch Broschur
common.buy 43.69 €
End of the End LEIF KROGSTAD / Buch Broschur
common.buy 16.29 €
Chad's Playbook to Effective Fathering: Encouraging dads to change lives Chad D Bumgarner / Buch Broschur
common.buy 17.79 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?