Ulrich Kohlenbach – författare
Visar alla böcker från författaren Ulrich Kohlenbach. Handla med fri frakt och snabb leverans.
9 produkter
Logic Colloquium 2007
Av Françoise Delon, Ulrich Kohlenbach m. fl.
Inbunden, 2010
1905 kr
Lägg i varukorg
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both …
Logic Colloquium 2007
Av Françoise Delon, Ulrich Kohlenbach m. fl.
Häftad, 2014
650 kr
Lägg i varukorg
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both …
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Inbunden, 2008
1419 kr
Lägg i varukorg
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - …
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
E-bok, 2008
1785 kr
Lägg i varukorg
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Häftad, 2010
1419 kr
Lägg i varukorg
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Leonid Libkin, Ulrich Kohlenbach m. fl.
Häftad, 2013
522 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Ruy de Queiroz, Ulrich Kohlenbach m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Av Ulrich Kohlenbach, Pablo Barceló m. fl.
Häftad, 2014
544 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers …
Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Av Ruy J G B de Queiroz, Pablo Barcelo m. fl.
E-bok, 2014
672 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers …
