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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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 67 b
27.19 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Top
Type Theory and Formal Proof Rob Nederpelt / Buch Hardcover
common.buy 103.09 €
Simple Type Theory William Farmer / Buch Hardcover
common.buy 84.09 €
Dive Into Systems Suzanne J. Matthews / Buch Broschur
common.buy 58.69 €
Top
Rozličné poznámky Ludwig Wittgenstein / Buch Broschur
common.buy 9.29 €
Дао Дэ Цзин Лао Цзы / Buch Hardcover
common.buy 15.59 €
Cose belle dal mondo per non pensare che va tutto male Camilla Soldati / Buch Hardcover
common.buy 20.19 €
ECO MultiGO Fire - Multikorbička s hasičem - auto s Igráčkem Spiel/Spielzeug Spielzeug
common.buy 12.49 €
Der logische Aufbau der Welt Rudolf Carnap / Buch Broschur
common.buy 22.90 €
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Buch Broschur
common.buy 5.79 €
Čínština konverzace / Buch Broschur
common.buy 12.39 €
Filosofická zkoumání Ludwig Wittgenstein / Buch Broschur
common.buy 9.79 €
Ziemlich beste Schwestern - Quatsch mit Soße (Ziemlich beste Schwestern 1) Sarah Welk / Buch Hardcover
common.buy 10.00 €
Medicina Energetica = Energy Medicine DONNA EDEN / Buch Broschur
common.buy 16.79 €

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

Foundations of Mathematics Kenneth Kunen / Buch Broschur
common.buy 28.99 €
Set Theory Kenneth Kunen / Buch Broschur
common.buy 28.29 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Buch Hardcover
common.buy 79.29 €
Computable Calculus Oliver Aberth / Buch Broschur
common.buy 97.59 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Buch Broschur
common.buy 55.89 €
Completions of Categories Joachim Lambek / Buch Broschur
common.buy 26.99 €
Categorical Logic and Type Theory B. Jacobs / Buch Broschur
common.buy 141.19 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Buch Hardcover
common.buy 452.99 €
The Bull and Bear Diet Thomas Brandt / Buch Broschur
common.buy 15.39 €
Mastering UI Development with Unity Dr. Ashley Godbold / Buch Broschur
common.buy 44.59 €
Inked Jeb Blount / Buch Hardcover
common.buy 23.49 €
Fce teachers book successful. 10 practice test Betsis Andrew / Buch Buch
common.buy 30.99 €
Pyrrhus Jacob Abbott / Buch Broschur
common.buy 7.99 €
End of the End LEIF KROGSTAD / Buch Broschur
common.buy 16.69 €
Benefits of and challenges to energy access in the 21st century: electricity United States Congress / Buch Broschur
common.buy 22.89 €
Chad's Playbook to Effective Fathering: Encouraging dads to change lives Chad D Bumgarner / Buch Broschur
common.buy 18.19 €
Blazed Trail Stories, and Stories of the Wild Life Stewart Edward White / Buch Broschur
common.buy 7.99 €
Distribution and Abundance of Nonnative Plant Species at Johnstown Flood National Memorial and Allegheny Portage Railroad National Historic Site Ephraim Zimmerman / Buch Broschur
common.buy 19.19 €
My Poetry Pallete Volume 2: My Reflections Rizwan Majid Sandhu / Buch Broschur
common.buy 8.89 €
Chronicles of a Boss: Your blueprint to creating a life of independence, freedom and wealth MS Latoya White / Buch Broschur
common.buy 21.99 €
Understanding Automotive Electronics William Ribbens / Buch Broschur
common.buy 118.89 €
Category Theory in Context Riehl / Buch Broschur
common.buy 28.19 €
Oxford Picture Dictionary Second Edition: Monolingual (American English) Dictionary Norma Shapiro / Buch Broschur
common.buy 44.89 €
Safe House L J Marston / Buch Broschur
common.buy 11.39 €

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?