Automated Proof Search in Non-classical Logics : Efficient Matrix Proof Methods for Modal and Intuitionistic LogicsWallen · MIT Press series in artificial intelligence1990PDF57 MB
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (artificial Intelligence)Wallen · MIT Press series in artificial intelligence1990PDF12 MB
My; Die; Lie; Cry; Fry; Buy; T-minus Zero; Zombie Radio; 2; the Last Casket; Kiss & Hell; Teenage Wasteland; ReunionJack Wallen2016EPUB2.2 MBEN
How to Design and Evaluate Research in Education,fraenkel, Jack R.Jack R. Fraenkel, Norman E. Wallen1990PDF32 MBEN