Recommend this title to your librarian

  • Proof Reconstruction in Classical and Non-classical Logics