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… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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 … Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten 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 … Meer...
Springer.com new in stock. Verzendingskosten: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… Meer...
BookDepository.com Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten: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… Meer...
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 … Meer...
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 … Meer...
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… Meer...
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: K. Dosen
244 Bladzijden
Gewicht: 0,374 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-07-01T23:51:52+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-02-06T14:23:58+01:00 (Amsterdam)
ISBN/EAN: 9789048152261
ISBN - alternatieve schrijfwijzen:
90-481-5226-7, 978-90-481-5226-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: dosch, hans much, dose, kosta dosen
Titel van het boek: cut, categorie
Gegevens van de uitgever
Auteur: K. Dosen
Titel: Trends in Logic; Cut Elimination in Categories
Uitgeverij: Springer; Springer Netherland
229 Bladzijden
Verschijningsjaar: 2010-12-09
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401712071 Cut Elimination in Categories (K. Dosen)
< naar Archief...