Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
- 0 resultaten
laagste prijs: € 149,79, hoogste prijs: € 165,80, gemiddelde prijs: € 157,59
Cut Elimination in Categories als Buch von K. Dosen - Springer Netherlands
uitverkocht boek
(*)
Springer Netherlands:
Cut Elimination in Categories als Buch von K. Dosen - nieuw boek

ISBN: 9789048152261

ID: 818369284

Cut Elimination in Categories ab 155.49 EURO Trends in Logic. Softcover reprint of hardcover 1st ed. 1999. Cut Elimination in Categories ab 155.49 EURO Trends in Logic. Softcover reprint of hardcover 1st ed. 1999. Bücher > Wissenschaft > Philosophie

Nieuw boek eBook.de
No. 13446780. Verzendingskosten:Zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Cut Elimination in Categories als Buch von K. Dosen - K. Dosen
uitverkocht boek
(*)
K. Dosen:
Cut Elimination in Categories als Buch von K. Dosen - gebonden uitgave, pocketboek

ISBN: 9789048152261

ID: 869180232

Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) Bücher > Wissenschaft > Philosophie, Springer Netherlands

Nieuw boek Hugendubel.de
No. 13446780. Verzendingskosten:Zzgl. Versandkosten. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Cut Elimination in Categories - K. Dosen
uitverkocht boek
(*)
K. Dosen:
Cut Elimination in Categories - nieuw boek

ISBN: 9789048152261

ID: 9789048152261

Philosophy; Logic; Mathematical Logic and Foundations; Category Theory, Homological Algebra; Symbolic and Algebraic Manipulation Cut-elimination theorem, category theory, logic, proof, proof theory Books, Springer Shop

Nieuw boek Springer.com
Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Cut Elimination in Categories - K. Dosen
uitverkocht boek
(*)
K. Dosen:
Cut Elimination in Categories - pocketboek

ISBN: 9789048152261

ID: 9789048152261

Cut Elimination in Categories Cut-Elimination-in-Categories~~K-Dosen Philosophy>Philosophy>Philosophy Paperback, Springer Netherlands

Nieuw boek Barnesandnoble.com
new Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Cut Elimination in Categories - Kosta Dosen
uitverkocht boek
(*)
Kosta Dosen:
Cut Elimination in Categories - pocketboek

2010, ISBN: 9789048152261

ID: 14930076

1st ed. Softcover of orig. ed. 1999, Softcover, Buch, [PU: Springer]

Nieuw boek Lehmanns.de
Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Bijzonderheden over het boek
Cut Elimination in Categories
auteur:
Titel:
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 logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory.

Gedetalleerde informatie over het boek. - Cut Elimination in Categories


EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
244 Bladzijden
Gewicht: 0,374 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 01.07.2011 23:51:52
Boek voor het laatst gevonden op 06.11.2018 10:40:20
ISBN/EAN: 9789048152261

ISBN - alternatieve schrijfwijzen:
90-481-5226-7, 978-90-481-5226-1

< naar Archief...
Verwante boeken