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,78, hoogste prijs: € 183,26, gemiddelde prijs: € 157,62
...
Cut Elimination in Categories (Trends in Logic) - K. Dosen
(*)
K. Dosen:
Cut Elimination in Categories (Trends in Logic) - pocketboek

2010, ISBN: 9789048152261

Taschenbuch, [EAN: 9789048152261], Springer, Springer, Book, [PU: Springer], 2010-12-09, Springer, 3138311, Logik, 3138111, Philosophie, 3234481, Sozialwissenschaft, 541686, Kategorien, 186606, Bücher, 166010031, Informatik, 166008031, IT-Ausbildung & -Berufe, 124, Computer & Internet, 541686, Kategorien, 186606, Bücher, 15423969031, Algebra, 295107, Algebra & Zahlentheorie, 290521, Mathematik, 15095916031, Naturwissenschaft & Mathematik, 288100, Fachbücher, 541686, Kategorien, 186606, Bücher, 189275, Mathematik, 121, Naturwissenschaften & Technik, 541686, Kategorien, 186606, Bücher, 62991011, Computer & Internet, 63910011, Apple, 63716011, Betriebssysteme, 63260011, Certification Central, 63595011, Datenbanken, 377645011, Digitale Fotografie & Video, 63904011, Digitale Musik, 1316655031, Dokumentenmanagement, 63647011, Grafikdesign, 63681011, Hardware, 63851011, Home Computing, 63336011, Informatik, 63462011, Microsoft, 377660011, Mobile & Wireless EDV, 63116011, Netzwerke, 63381011, Programmieren, 377670011, Projektmanagement, 377663011, Sicherheit & Verschlüsselung, 63160011, Software, 63549011, Spiel- & Strategieführer, 62992011, Webentwicklung, 63532011, Wirtschaft & Kultur, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56231011, Algebra, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Amazon.de (Intern...
_Gagazet Media_
Gebraucht. Verzendingskosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 2 - 3 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Cut Elimination in Categories (Trends in Logic) - K. Dosen
(*)
K. Dosen:
Cut Elimination in Categories (Trends in Logic) - pocketboek

2010, ISBN: 9789048152261

Taschenbuch, [EAN: 9789048152261], Springer, Springer, Book, [PU: Springer], 2010-12-09, Springer, 3138311, Logik, 3138111, Philosophie, 3234481, Sozialwissenschaft, 541686, Kategorien, 186606, Bücher, 166010031, Informatik, 166008031, IT-Ausbildung & -Berufe, 124, Computer & Internet, 541686, Kategorien, 186606, Bücher, 15423969031, Algebra, 295107, Algebra & Zahlentheorie, 290521, Mathematik, 15095916031, Naturwissenschaft & Mathematik, 288100, Fachbücher, 541686, Kategorien, 186606, Bücher, 189275, Mathematik, 121, Naturwissenschaften & Technik, 541686, Kategorien, 186606, Bücher, 62991011, Computer & Internet, 63910011, Apple, 63716011, Betriebssysteme, 63260011, Certification Central, 63595011, Datenbanken, 377645011, Digitale Fotografie & Video, 63904011, Digitale Musik, 1316655031, Dokumentenmanagement, 63647011, Grafikdesign, 63681011, Hardware, 63851011, Home Computing, 63336011, Informatik, 63462011, Microsoft, 377660011, Mobile & Wireless EDV, 63116011, Netzwerke, 63381011, Programmieren, 377670011, Projektmanagement, 377663011, Sicherheit & Verschlüsselung, 63160011, Software, 63549011, Spiel- & Strategieführer, 62992011, Webentwicklung, 63532011, Wirtschaft & Kultur, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56231011, Algebra, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Amazon.de (Intern...
averdo24
Neuware. Verzendingskosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 4 - 5 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.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
(*)
K. Dosen:
Cut Elimination in Categories - pocketboek

ISBN: 9789048152261

ID: 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. Books > Philosophy Soft cover, Springer Shop

Springer.com
new in stock. 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
(*)
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

 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
(*)
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

 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.

Bijzonderheden over het boek
Cut Elimination in Categories (Trends in Logic)

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


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)
Detailpagina laatst gewijzigd op 2019-06-07T12:49:16+02:00 (Amsterdam)
ISBN/EAN: 9789048152261

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


< naar Archief...
Verwante boeken