Dual Tableaux: Foundations, Methodology, Case Studies
File Size : 48,48 MBTotal View : 2612 Views
DOWNLOAD
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and