Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Higher-Order Logic and Type Theory John L. Bell

Higher-Order Logic and Type Theory

Szerző: John L. Bell
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Cambridge University Press
Elérhetőség: Beszállítói készleten
Küldés 14-21 napon belül
9 731 Ft
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...

Információk a könyvről

Szerző
John L. Bell
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2022
oldal
75
EAN
9781108986908
ISBN
1108986900
Enbook ID
38621442
Kiadó
Cambridge University Press
Súly
142
Méretek
228 x 152 x 8

Teljes leírás

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

Érdekelheti

Set Theory

Kenneth Kunen
9 376 Ft

Foundations of Mathematics

Kenneth Kunen
9 600 Ft

Set Theory An Introduction To Independence Proofs

Kenneth Kunen
26 510 Ft

Computable Calculus

Oliver Aberth
32 624 Ft

Business, Politics and International Relations

Clemens WurmPatrick Salmon
20 014 Ft

Completions of Categories

Joachim Lambek
9 717 Ft

Sketches of an Elephant: A Topos Theory Compendium

Peter T Johnstone
151 363 Ft

Categorical Logic and Type Theory

B. Jacobs
50 374 Ft

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

Chad D Bumgarner
6 541 Ft

Pyrrhus

Jacob Abbott
2 848 Ft

Fce teachers book successful. 10 practice test

Betsis Andrew
10 301 Ft

Inked

Jeb Blount
8 504 Ft

Mastering UI Development with Unity

Dr. Ashley Godbold
15 984 Ft

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

United States Congress
8 221 Ft

New Testament Theology: Magnifying God in Christ

Thomas R. Schreiner
24 659 Ft

Blazed Trail Stories, and Stories of the Wild Life

Stewart Edward White
2 848 Ft

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

Norma Shapiro
15 643 Ft

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

Ephraim Zimmerman
6 864 Ft

My Poetry Pallete Volume 2: My Reflections

Rizwan Majid Sandhu
3 190 Ft

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

MS Latoya White
7 880 Ft

Understanding Automotive Electronics

William Ribbens
39 475 Ft

Category Theory in Context

Riehl
10 171 Ft

Love, Pamela

Pamela Anderson
5 696 Ft

Justice League International Omnibus Vol. 3

John Dematteis
39 560 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Type Theory and Formal Proof

Rob Nederpelt
36 896 Ft

Simple Type Theory

William Farmer
30 256 Ft

Dive Into Systems

Suzanne J. Matthews
21 267 Ft

Rozličné poznámky

Ludwig Wittgenstein
3 077 Ft

Дао Дэ Цзин

Лао Цзы
5 144 Ft

Cose belle dal mondo per non pensare che va tutto male

Camilla Soldati
6 712 Ft

LA CONSTRUCCION DE LA MEMORIA

JIMENEZ ESTRELLA
11 195 Ft

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

4 501 Ft

Der logische Aufbau der Welt

Rudolf Carnap
7 763 Ft

Biologie-Géologie tout-en-un BCPST 2e année

Christiane Perrier
21 339 Ft

3D Tennis 2 in 1 Taktikboard und Trainingsbuch

Theo Von Taane
2 093 Ft

TODO NEGRO NO IGUAL VOCES EMIGRANTES

DIAZ
4 003 Ft

Čínština konverzace

4 101 Ft

Mamie ouate en Papoâsie, Comédie insulaire

Le Pavec
3 562 Ft

Filosofická zkoumání

Ludwig Wittgenstein
3 221 Ft

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

Sarah Welk
3 333 Ft

Iglesias de Jesús o Circos Romanos: Dios busca hombres y mujeres que no acepten los sobornos de éste tiempo

Eduardo Esteve
3 261 Ft

Medicina Energetica = Energy Medicine

DONNA EDEN
5 840 Ft