All Stories

  1. UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

    Article • The Review of Symbolic Logic, December 2018, Cambridge University Press

    Piotr Wojtylak