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.

Categorical Logic and Type Theory

Lingua IngleseInglese
Libro In brossura
Libro Categorical Logic and Type Theory B. Jacobs
Codice Libristo: 04079613
Casa editrice Elsevier Science & Technology, maggio 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Descrizione completa
? points 346 b
141.19 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Libro Foglio
common.buy 12.99 €
I migliori
HORROR TINY TAROT DECK & GDBK GMITTER ARIA Pubblicazioni cartacee Carte
common.buy 15.59 €
El circulo de los dias Ken Follett / Libro Rigido
common.buy 24.29 €
Tublatanka: Skúsime to cez vesmir LP Tublatanka Libro binding.
common.buy 22.79 €
Rajz 10 lépésben - Állatok Heather Kilgour / Libro Rigido
common.buy 12.79 €
memo Wissen. Edelsteine und Kristalle R. R. Harding / Libro Rigido
common.buy 11.59 €
Mandalorian Grogu mit Ohren / Gioco/giocattolo Gioco
common.buy 21.29 €
2. SS-PANZERDIVISION DAS REICH MASSIMILIANO AFIERO / Libro In brossura
common.buy 28.59 €
Puzzle Avengers Endgame / Gioco/giocattolo Puzzle
common.buy 9.79 €
Mis primeras 100 palabras EDWARD UNDERWOOD / Libro In brossura
common.buy 13.49 €
Salmeklang Gjermund Trio Larsen / Audio CD audio
common.buy 22.79 €
Ivan Pinkava Ivan Pinkava / Libro In brossura
common.buy 14.99 €

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

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 Categorical Logic and Type Theory
Autore B. Jacobs
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2001
Numero di pagine 778
EAN 9780444508539
ISBN 0444508538
Codice Libristo 04079613
Casa editrice Elsevier Science & Technology
Peso 1242
Dimensioni 167 x 242 x 46

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Matematica e Scienze > Matematica > Geometria > Geometria algebrica
Matematica e Scienze > Matematica > Algebra
Matematica e Scienze > Matematica > Matematica applicata
Matematica e Scienze > Scienza: argomenti di interesse generale > Filosofia della scienza
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

Categories for Types Crole / Libro In brossura
common.buy 99.19 €
Foundations of Mathematics Kenneth Kunen / Libro In brossura
common.buy 28.99 €
Completions of Categories Joachim Lambek / Libro In brossura
common.buy 26.99 €
Set Theory Kenneth Kunen / Libro In brossura
common.buy 28.29 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Libro Rigido
common.buy 452.99 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Libro Rigido
common.buy 79.29 €
Set Theory Thomas Jech / Libro Rigido
common.buy 214.29 €
I migliori
Set Theory Thomas Jech / Libro In brossura
common.buy 214.29 €
I migliori
Real World Haskell Bryan O´Sullivan / Libro In brossura
common.buy 52.79 €
Sixty for Sax Alan Bullard / Pubblicazioni cartacee Note
common.buy 9.79 €
I migliori
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Libro Rigido
common.buy 12.69 €
Higher-Order Logic and Type Theory John L. Bell / Libro In brossura
common.buy 27.19 €
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Libro In brossura
common.buy 8.39 €
Platform for Change Analogique / Libro Rigido
common.buy 63.79 €
Momma Said Momma Said T L Hawkins / Libro In brossura
common.buy 10.69 €
UNTITLED HA VINCE FLYNN / Libro Rigido
common.buy 24.59 €
Quantum Entanglement: Part Two Ryan Stacks / Libro In brossura
common.buy 15.39 €
Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie / Libro In brossura
common.buy 8.79 €
Psychology of Language and Communication BEATTIE / Libro Rigido
common.buy 271.89 €
Basketball: The 9 Essential Game Skills Dre Baldwin / Libro In brossura
common.buy 20.09 €
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Libro In brossura
common.buy 28.49 €
National Health and Nutrition Examination Survey (NHANES): Ophthalmology Procedures Manual Centers for Disease Cont And Prevention / Libro In brossura
common.buy 20.09 €
A Chronology of the United States Marine Corps, 1947-1964 Ralph W Donnelly / Libro In brossura
common.buy 15.79 €
Girl Undone Marla Madison / Libro In brossura
common.buy 16.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?