
2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [PU: Springer Netherlands Dez 2010], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, This item is printed on demand - it takes 3-4 days l… Meer...
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (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...
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... |

2010, ISBN: 9789048152261
Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 1999, 241 Seiten, Publiziert: 2010-12-09T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 9789048152261, 0.35 kg, Compu… Meer...
amazon.co.uk Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.71) Details... |


2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [PU: Springer Netherlands Dez 2010], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, This item is printed on demand - it takes 3-4 days l… Meer...

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...

2010, ISBN: 9789048152261
Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 1999, 241 Seiten, Publiziert: 2010-12-09T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 9789048152261, 0.35 kg, Compu… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Cut Elimination in Categories: 6 (Trends in Logic, 6)
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
244 Bladzijden
Gewicht: 0,374 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-07-01T23:51:52+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2024-07-30T11:57:40+02: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: categorie, cut elimination
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...