DMCA

Dual Systems of Sequents and Tableaux for Many-Valued Logics (1993)

Cached

Download Links

by Matthias Baaz , Christian G. Fermüller , Richard Zach
Venue:BULL. EATCS
Citations:13 - 3 self