- 5 resultaten
laagste prijs: € 123,04, hoogste prijs: € 198,24, gemiddelde prijs: € 152,30
1
Cut Elimination in Categories - K. Dosen
bestellen
bij AbeBooks.de
€ 160,49
verzending: € 0,001
bestellenGesponsorde link
K. Dosen:

Cut Elimination in Categories - pocketboek

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

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
2
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)]
3
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
4
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)
5
Cut Elimination in Categories: 6 (Trends in Logic, 6) - Dosen, K.
bestellen
bij amazon.co.uk
£ 104,07
(ongeveer € 123,85)
verzending: € 5,711
bestellenGesponsorde link
Dosen, K.:
Cut Elimination in Categories: 6 (Trends in Logic, 6) - pocketboek

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

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.71)

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: 6 (Trends in Logic, 6)

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