Matrices for predicate logics

Bulletin of the Section of Logic, Tom 6, Numer 1 (1977) s. 27-31
Jacek Hawranek, Marek Tokarz

 

do góry