Akademibokhandeln

M. Fitting – författare

Visar alla böcker från M. Fitting. Handla online eller reservera direkt i butik.

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

    Types, Tableaus, and Gödel’s God

    2002

  2. Proof Methods for Modal and Intuitionistic Logics

    Proof Methods for Modal and Intuitionistic Logics

    1983

  3. Incompleteness in the Land of Sets

    Incompleteness in the Land of Sets

    2007