2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [SC: 0.0], [PU: Springer Netherlands], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, Druck auf Anfrage Neuware -Proof theory and catego… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Altro …
Indigo.ca new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9789048152261
Paperback, [PU: Springer], Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opp… Altro …
BookDepository.com Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [SC: 0.0], [PU: Springer Netherlands], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, Druck auf Anfrage Neuware -Proof theory and catego… Altro …
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Altro …
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Altro …
ISBN: 9789048152261
Paperback, [PU: Springer], Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opp… Altro …
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: K. Dosen
244 Pagine
Peso: 0,374 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2011-07-01T23:51:52+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-02-06T14:23:58+01:00 (Zurich)
ISBN/EAN: 9789048152261
ISBN - Stili di scrittura alternativi:
90-481-5226-7, 978-90-481-5226-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : dosch, hans much, dose, kosta dosen
Titolo del libro: cut, categorie
Dati dell'editore
Autore: K. Dosen
Titolo: Trends in Logic; Cut Elimination in Categories
Editore: Springer; Springer Netherland
229 Pagine
Anno di pubblicazione: 2010-12-09
Dordrecht; NL
Stampato / Fatto in
Lingua: Inglese
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 229 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Cut-elimination theorem; category theory; logic; proof; proof theory; Logic; Mathematical Logic and Foundations; Category Theory, Homological Algebra; Symbolic and Algebraic Manipulation; Mathematik: Logik; Mathematische Grundlagen; Algebra; Mathematik für Informatiker; BB
2. Functors.- 3. Natural Transformations.- 4. Adjunctions.- 5. Comonads.- 6. Cartesian Categories.- Conclusion.- References.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9789401712071 Cut Elimination in Categories (K. Dosen)
< Per archiviare...