Articoli correlati a Categorical Logic and Type Theory: Volume 141

Categorical Logic and Type Theory: Volume 141 - Rilegato

 
9780444501707: Categorical Logic and Type Theory: Volume 141
Rilegato
ISBN 10: 0444501703 ISBN 13: 9780444501707
Casa editrice: Elsevier Science Ltd, 1999
Vedi tutte le copie di questo ISBN:
 
 
This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.

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

  • EditoreElsevier Science Ltd
  • Data di pubblicazione1999
  • ISBN 10 0444501703
  • ISBN 13 9780444501707
  • RilegaturaCopertina rigida
  • Numero di pagine760
  • RedattoreJacobs Bart
  • Valutazione libreria

Compra usato

Condizioni: buono
Scopri di più su questo articolo
9780444501707: Categorical Logic and Type Theory: Volume 141
EUR 111,59

Convertire valuta

Spese di spedizione: EUR 3,76
In U.S.A.

Destinazione, tempi e costi

Aggiungere al carrello

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, 2001
Brossura

  • 9780444539427: Categorical Logic and Type Theory

    Elsevi..., 2011
    Brossura

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Jacobs, B.
Editore: Elsevier Science (1999)
ISBN 10: 0444501703 ISBN 13: 9780444501707
Antico o usato Rilegato Quantità: 1
Da:
Cloudrunner LLC
(Minneapolis, MN, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Hardcover. Condizione: Like New, Ex Library. FALSE. Codice articolo 0444501703L

Informazioni sul venditore | Contatta il venditore

Compra usato
EUR 111,59
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,76
In U.S.A.
Destinazione, tempi e costi