peter schroeder heister

Grid   List

  1. Proof Theory in Computer Science
    Proof Theory in Computer Science
    Reinhard Kahle
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
    Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
    Peter Schroeder-Heister
    College Publications
    Taschenbuch
    Bezug 6-10
    The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorraine and the birthplace of Henri Poincaré. For t...
    40,37 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. Advances in Proof-Theoretic Semantics
    Advances in Proof-Theoretic Semantics
    Peter Schroeder-Heister
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proof...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Proof Theory in Computer Science
    Proof Theory in Computer Science
    Reinhard Kahle
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theor...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Extensions of Logic Programming
    Extensions of Logic Programming
    Lars-Henrik Eriksson
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains papers presented at the secondinternational workshopon extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 19...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Extensions of Logic Programming
    Extensions of Logic Programming
    Roy Dyckhoff
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Extensions of Logic Programming
    Extensions of Logic Programming
    Peter Schroeder-Heister
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tü...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Advances in Proof-Theoretic Semantics
    Advances in Proof-Theoretic Semantics
    Peter Schroeder-Heister
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proof...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. The Logical Writings of Karl Popper
    The Logical Writings of Karl Popper
    David Binder
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. The Logical Writings of Karl Popper
    The Logical Writings of Karl Popper
    David Binder
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His ...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>