A represantation theorem of standard consequence operation

Bulletin of the Section of Logic, Tom 4, Numer 2 (1975) s. 52-55
Stephen L. Bloom

 

do góry