Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Higher-Order Logic and Type Theory John L. Bell

Higher-Order Logic and Type Theory

Autor: John L. Bell
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Cambridge University Press
Dostupnosť: Skladom u dodávateľa
Odosielame za 14-21 dní
24.31 €
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...

Informácie o knihe

Autor
John L. Bell
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2022
Stránok
75
EAN
9781108986908
ISBN
1108986900
Enbook ID
38621442
Vydavateľ
Cambridge University Press
Hmotnosť
142
Rozmery
228 x 152 x 8

Kompletný popis

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

Mohlo by vás zaujímať

Foundations of Mathematics

Kenneth Kunen
25.59 €

Set Theory

Kenneth Kunen
25.00 €

Set Theory An Introduction To Independence Proofs

Kenneth Kunen
71.30 €

Computable Calculus

Oliver Aberth
87.77 €

Business, Politics and International Relations

Clemens WurmPatrick Salmon
49.91 €

Completions of Categories

Joachim Lambek
25.20 €

Categorical Logic and Type Theory

B. Jacobs
127.59 €

Sketches of an Elephant: A Topos Theory Compendium

Peter T Johnstone
407.23 €

The Bull and Bear Diet

Thomas Brandt
13.62 €

Mastering UI Development with Unity

Dr. Ashley Godbold
39.71 €

Inked

Jeb Blount
20.39 €

Fce teachers book successful. 10 practice test

Betsis Andrew
28.92 €

Pyrrhus

Jacob Abbott
7.05 €

End of the End

LEIF KROGSTAD
14.80 €

Benefits of and challenges to energy access in the 21st century: electricity

United States Congress
20.29 €

Chad's Playbook to Effective Fathering: Encouraging dads to change lives

Chad D Bumgarner
16.17 €

Blazed Trail Stories, and Stories of the Wild Life

Stewart Edward White
7.05 €

Distribution and Abundance of Nonnative Plant Species at Johnstown Flood National Memorial and Allegheny Portage Railroad National Historic Site

Ephraim Zimmerman
16.96 €

My Poetry Pallete Volume 2: My Reflections

Rizwan Majid Sandhu
7.84 €

Chronicles of a Boss: Your blueprint to creating a life of independence, freedom and wealth

MS Latoya White
19.41 €

Understanding Automotive Electronics

William Ribbens
111.31 €

Category Theory in Context

Riehl
24.31 €

Oxford Picture Dictionary Second Edition: Monolingual (American English) Dictionary

Norma Shapiro
41.67 €

Justice League International Omnibus Vol. 3

John Dematteis
100.33 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Type Theory and Formal Proof

Rob Nederpelt
92.19 €

Simple Type Theory

William Farmer
78.16 €

Dive Into Systems

Suzanne J. Matthews
53.74 €

Rozličné poznámky

Ludwig Wittgenstein
9.12 €

Cose belle dal mondo per non pensare che va tutto male

Camilla Soldati
18.82 €

ECO MultiGO Fire - Multikorbička s hasičem - auto s Igráčkem

10.78 €

Der logische Aufbau der Welt

Rudolf Carnap
19.90 €

3D Tennis 2 in 1 Taktikboard und Trainingsbuch

Theo Von Taane
5.48 €

Čínština konverzace

9.65 €

Filosofická zkoumání

Ludwig Wittgenstein
9.76 €

Ziemlich beste Schwestern - Quatsch mit Soße (Ziemlich beste Schwestern 1)

Sarah Welk
8.52 €

Medicina Energetica = Energy Medicine

DONNA EDEN
16.47 €