Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Higher-Order Logic and Type Theory

Lingua IngleseInglese
Libro In brossura
Libro Higher-Order Logic and Type Theory John L. Bell
Codice Libristo: 38621442
Casa editrice Cambridge University Press, marzo 2022
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...
? points 67 b
27.19 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

I migliori
Type Theory and Formal Proof Rob Nederpelt / Libro Rigido
common.buy 103.09 €
Simple Type Theory William Farmer / Libro Rigido
common.buy 84.09 €
Dive Into Systems Suzanne J. Matthews / Libro In brossura
common.buy 58.69 €
I migliori
Rozličné poznámky Ludwig Wittgenstein / Libro In brossura
common.buy 9.29 €
Cose belle dal mondo per non pensare che va tutto male Camilla Soldati / Libro Rigido
common.buy 20.19 €
ECO MultiGO Fire - Multikorbička s hasičem - auto s Igráčkem Gioco/giocattolo Giocattolo
common.buy 13.19 €
Der logische Aufbau der Welt Rudolf Carnap / Libro In brossura
common.buy 21.49 €
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Libro In brossura
common.buy 5.79 €
Čínština konverzace / Libro In brossura
common.buy 12.39 €
Filosofická zkoumání Ludwig Wittgenstein / Libro In brossura
common.buy 9.79 €
Ziemlich beste Schwestern - Quatsch mit Soße (Ziemlich beste Schwestern 1) Sarah Welk / Libro Rigido
common.buy 9.19 €
Medicina Energetica = Energy Medicine DONNA EDEN / Libro In brossura
common.buy 16.79 €

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

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Higher-Order Logic and Type Theory
Autore John L. Bell
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2022
Numero di pagine 75
EAN 9781108986908
ISBN 1108986900
Codice Libristo 38621442
Casa editrice Cambridge University Press
Peso 142
Dimensioni 228 x 152 x 8

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Teoria degli insiemi
Filosofia e Religione > Filosofia > Argomenti in filosofia > Filosofia: logica
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?