Wajsberg on the first-order predicate calculus for the finite models

Bulletin of the Section of Logic, Tom 2, Numer 2 (1973) s. 107-110
Jan Woleński

 

do góry