Articoli correlati a Categorical Logic and Type Theory: Volume 141
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.
Recensione:
...The author's achievement in collecting and organizing a very large body of material in coherent form,... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6
Product Description:
Zentralblatt für Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6
Book by B Jacobs
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreElsevier Science
- Data di pubblicazione2001
- ISBN 10 0444508538
- ISBN 13 9780444508539
- RilegaturaCopertina flessibile
- Numero di pagine778
- Valutazione libreria
Compra nuovo
Scopri di più su questo articolo
EUR 105,33
Spese di spedizione:
EUR 11,13
Da: Italia a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: new. Questo è un articolo print on demand. Codice articolo 1b18fa390a4af65ec74e2dfbd9cbf93e
Compra nuovo
EUR 105,33
Convertire valuta
Immagini fornite dal venditore
Categorical Logic and Type Theory
Editore:
Elsevier Science Elsevier Science & Technology
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Codice articolo 9780444508539
Compra nuovo
EUR 108,00
Convertire valuta
Foto dell'editore
Categorical Logic and Type Theory: Volume 141
Editore:
Elsevier Science & Technology
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Paperback / softback
Quantità: 15
Da:
Valutazione libreria
Descrizione libro Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. Codice articolo B9780444508539
Compra nuovo
EUR 124,42
Convertire valuta
Immagini fornite dal venditore
Categorical Logic and Type Theory
Editore:
Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Brossura
Quantità: 5
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 1615196-n
Compra nuovo
EUR 135,71
Convertire valuta
Foto dell'editore
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Editore:
Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2215580211806
Compra nuovo
EUR 136,04
Convertire valuta
Foto dell'editore
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
Editore:
Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Brossura
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: New. Buy with confidence! Book is in new, never-used condition. Codice articolo bk0444508538xvz189zvxnew
Compra nuovo
EUR 139,85
Convertire valuta
Immagini fornite dal venditore
CATEGORICAL LOGIC & TYPE THEOR
Editore:
Elsevier Science & Technology|Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Kartoniert / Broschiert
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientis. Codice articolo 594685351
Compra nuovo
EUR 103,55
Convertire valuta
Immagini fornite dal venditore
Categorical Logic and Type Theory
Editore:
Elsevier Science & Technology, Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Codice articolo 9780444508539
Compra nuovo
EUR 119,99
Convertire valuta
Immagini fornite dal venditore
Categorical Logic and Type Theory
Editore:
Elsevier Science
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Brossura
Quantità: 5
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 1615196-n
Compra nuovo
EUR 135,58
Convertire valuta
Foto dell'editore
Categorical Logic and Type Theory
Editore:
Butterworth-Heinemann
(2001)
ISBN 10: 0444508538
ISBN 13: 9780444508539
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780444508539_lsuk
Compra nuovo
EUR 142,20
Convertire valuta