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

252 Pages · 1990 · 588 KB · English
Download
“ Almost everything will work again if you unplug it for a few minutes, including you. ” ― Anne Lamott
Similar Free eBooks
Load more similar PDF files
PDF Drive investigated dozens of problems and listed the biggest global issues facing the world today. Let's Change The World Together