Theorem Provers with Countermodels and xpe

Bulletin of the Section of Logic, Tom 30, Numer 2 (2001) s. 79-87
Motohiko Mouri

 

do góry