Matthias Baaz – författare

Visar alla böcker från författaren Matthias Baaz. Handla med fri frakt och snabb leverans.

12 produkter

1. 

   Kurt Gödel and the Foundations of Mathematics

   Horizons of Truth

   Av Matthias Baaz, Christos H. Papadimitriou m. fl.

   Inbunden, 2011

   1992 kr

   Lägg i varukorg

   This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of …

2. 

   Kurt Gödel and the Foundations of Mathematics

   Horizons of Truth

   Av Matthias Baaz, Christos H. Papadimitriou m. fl.

   Häftad, 2014

   1074 kr

   Lägg i varukorg

   This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of …

3. 

   Logic Colloquium '01

   Av Jan Krajicek, Sy-David Friedman m. fl.

   E-bok

   1435 kr

   Lägg i varukorg

   Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twentieth publication in the Lecture …

4. 

   Logic Colloquium '01

   Lecture Notes In Logic, 20

   Av Matthias Baaz, Sy-David Friedman m. fl.

   Inbunden, 2005

   996 kr

   Lägg i varukorg

   A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present …

5. 

   Logic Colloquium '01

   Lecture Notes In Logic, 20

   Av Matthias Baaz, Sy-David Friedman m. fl.

   Häftad, 2005

   638 kr

   Lägg i varukorg

   A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present …

6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

   Av Matthias Baaz, Andrei Voronkov

   Häftad, 2002

   566 kr

   Lägg i varukorg

   ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?cialIntelligence,andReasoning(LPAR 2002),heldonOctober14-18,2002,attheUniversityofTbilisi(Georgia),- getherwiththeThirdInternationalWorkshoponImplementationofLogics. …

7. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

   Av Andrei Voronkov, Matthias Baaz

   E-bok, 2003

   755 kr

   Lägg i varukorg

8. 

   Computer Science Logic

   17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

   Av Matthias Baaz, Johann M. Makowsky

   Häftad, 2003

   1093 kr

   Lägg i varukorg

   This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.The 30 revised full papers presented …

9. 

   Computer Science Logic

   17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

   Av Johann M. Makowsky, Matthias Baaz

   E-bok, 2003

   1459 kr

   Lägg i varukorg

   This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented …

10. 

    Methods of Cut-Elimination

    Av Matthias Baaz, Alexander Leitsch

    Inbunden, 2011

    1093 kr

    Lägg i varukorg

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal …

11. 

    Methods of Cut-Elimination

    Av Alexander Leitsch, Matthias Baaz

    E-bok, 2011

    1413 kr

    Lägg i varukorg

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal …

12. 

    Methods of Cut-Elimination

    Av Matthias Baaz, Alexander Leitsch

    Häftad, 2013

    1093 kr

    Lägg i varukorg

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal …