Feedback
keyword: formalization – 2 free books.
Tableau Methods for Propositional Logic and Term Logic
Tomasz Jarmużek
Big Data Computing for Geospatial Applications
Zhenlong Li et al. (editors)