Skip to content

Finite Bases of Admissible Rules for the Logic S52C.

Mikhail Golovanov

Year1997
ProceedingsLFCS

Browse the full LFCS paper archive.