A theorem on well-finite standard consequence operation

Bulletin of the Section of Logic, Tom 2, Numer 3 (1973) s. 159-163
Stephen L. Bloom

 

do góry