Bokus

Peter Schroeder-Heister

Visar alla böcker från författaren Peter Schroeder-Heister. Handla med fri frakt och snabb leverans.

  1. Logical Writings of Karl Popper

    Logical Writings of Karl Popper

    2022

  2. Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    2015

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

    2015

  4. Proof Theory in Computer Science

    Proof Theory in Computer Science

    2001

  5. Extensions of Logic Programming

    Extensions of Logic Programming

    1991