Articoli correlati a Categorical Logic and Type Theory

Categorical Logic and Type Theory - Brossura

Jacobs, B.

 
9780444539427: Categorical Logic and Type Theory
Brossura
ISBN 10: 0444539425 ISBN 13: 9780444539427
Casa editrice: Elsevier Science, 2011

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Elsevier Science
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
0444539425
ISBN 13 
9780444539427
Rilegatura
Copertina flessibile
Numero di pagine
784
Contatto del produttore
non disponibile
Persona responsabile
Barbara Criscuolo
b.criscuolo@lswr.it

Via Spadolini, 7
Milano
20141
Italia

Compra nuovo

Visualizza questo articolo
9780444539427: Categorical Logic and Type Theory
EUR 314,37

Convertire valuta

EUR 28,92 per la spedizione da Regno Unito a U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780444508539: Categorical Logic and Type Theory: Volume 141

Edizione in evidenza

ISBN 10:  0444508538 ISBN 13:  9780444508539
Casa editrice: Elsevier Science Ltd, 2001
Brossura

Risultati della ricerca per Categorical Logic and Type Theory

Foto dell'editore

B. Jacobs
Editore: Elsevier Science, 1999
ISBN 10: 0444539425 ISBN 13: 9780444539427
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 784 pages. 9.00x1.77x6.00 inches. In Stock. Codice articolo zk0444539425

Contatta il venditore

Compra nuovo

EUR 314,37
Convertire valuta
Spese di spedizione: EUR 28,92
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello