Skip to content

The Axiomatization for 0-Level Universal Logic.

Yingcang Ma, Huacan He

Year2005
ProceedingsICMLC

Browse the full ICMLC paper archive.