Resolution system for ω+-valued logic

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 68-74
Ewa Orłowska

 

do góry