Bokus

M. Fitting

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

  1. Proof Methods for Modal and Intuitionistic Logics

    Proof Methods for Modal and Intuitionistic Logics

    1983

  2. Types, Tableaus, and Gödel’s God

    Types, Tableaus, and Gödel’s God

    2002

  3. Fundamentals of Generalized Recursion Theory

    Fundamentals of Generalized Recursion Theory

    2011

  4. Incompleteness in the Land of Sets

    Incompleteness in the Land of Sets

    2007

  5. Types, Tableaus, and Godel's God

    Types, Tableaus, and Godel's God

    2012

  6. First-Order Modal Logic

    First-Order Modal Logic

    2012