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… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: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 … Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. 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 … Mehr…
Springer.com new in stock. Versandkosten: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… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
lehmanns.de Versandkosten: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… Mehr…
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 … Mehr…
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 … Mehr…
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… Mehr…
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: K. Dosen
244 Seiten
Gewicht: 0,374 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-07-01T23:51:52+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-02-06T14:23:58+01:00 (Zurich)
ISBN/EAN: 9789048152261
ISBN - alternative Schreibweisen:
90-481-5226-7, 978-90-481-5226-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dosch, hans much, dose, kosta dosen
Titel des Buches: cut, categorie
Daten vom Verlag:
Autor/in: K. Dosen
Titel: Trends in Logic; Cut Elimination in Categories
Verlag: Springer; Springer Netherland
229 Seiten
Erscheinungsjahr: 2010-12-09
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9789401712071 Cut Elimination in Categories (K. Dosen)
< zum Archiv...