Articoli correlati a Categorical Logic and Type Theory: Volume 141
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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Categorical Logic and Type Theory: Volume 141
Foto dell'editore
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Editore:
Elsevier Science, Elsevier Science, 1999
ISBN 10: 0444501703
ISBN 13: 9780444501707
Antico o usato
Rilegato
Da: Cloud Runner Books, Minneapolis, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Condizione sovraccoperta: None. Very Good. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) by B. Jacobs. Elsevier Science, 1999. 760pp. Language: English. Note: Ex library book with the usual stamps, stickers, and marks. Codice articolo 00008059
Quantità: 1 disponibili