×
  • Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

    Lincoln A. Wallen

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read