Resenhas - Automated Deduction in Nonclassical Logics - Efficient Matrix Proof Methods etc

Veja as resenhas sobre este livro