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

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)

Editore

Elsevier Science, Elsevier Science

Data di pubblicazione

1999

Lingua

Inglese

ISBN 10

0444501703

ISBN 13

9780444501707

Rilegatura

Hardcover

Condizione

Very Good

Condizione della sovraccoperta

None

Cataloghi dei venditori

Descrizione articolo

Riassunto

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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

An independent bookseller located in the Midwest United States.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Condizioni di vendita e spedizione

Condizioni di vendita

Offriamo un'ampia selezione di libri, tra cui manuali scolastici e universitari, edizioni da collezione, titoli di narrativa, libri di cucina e molto altro. Ci impegniamo a fornire descrizioni accurate, spedizioni sicure e un servizio clienti di alta qualit�.

Garanzia sullo stato dell?articolo

Ogni articolo viene attentamente controllato prima della messa in vendita per garantire che lo stato corrisponda alla descrizione. Tutti i prodotti sono garantiti come descritti. Se n...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 14 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 4.24	EUR 9.36

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.