Deduction Chains and DC-like Decision Procedure for Guarded Logic

Bulletin of the Section of Logic, Tom 33, Numer 1 (2004) s. 53-65
Andrei Kouznetsov

 

do góry