Representation Theorems and the Semantics of Non-Classical Logics , and Applications to Automated Theorem Proving (2002)

Cached

Download Links

by Viorica Sofronie-stokkermans
Citations:4 - 2 self