- 5 resultaten
laagste prijs: € 123,04, hoogste prijs: € 198,24, gemiddelde prijs: € 146,66
1
Cut Elimination in Categories - K. Dosen
bestellen
bij ZVAB.com
€ 157,49
verzending: € 0,001
bestellenGesponsorde link
K. Dosen:

Cut Elimination in Categories - pocketboek

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

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
bestellen
bij Indigo.ca
C$ 277,95
(ongeveer € 198,24)
bestellenGesponsorde link
Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters - nieuw boek

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

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
Cut Elimination in Categories - K. Dosen
bestellen
bij Springer.com
€ 123,04
verzending: € 0,001
bestellenGesponsorde link
K. Dosen:
Cut Elimination in Categories - pocketboek

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

new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00)
4
Cut Elimination in Categories - K. Dosen
bestellen
bij BookDepository.com
€ 131,48
verzending: € 0,001
bestellenGesponsorde link
K. Dosen:
Cut Elimination in Categories - pocketboek

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

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
5
Cut Elimination in Categories - K. Dosen
bestellen
bij lehmanns.de
€ 123,04
verzending: € 0,001
bestellenGesponsorde link
K. Dosen:
Cut Elimination in Categories - pocketboek

2010, ISBN: 9789048152261

Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010

Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters

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