B Seg has the finite model property

Bulletin of the Section of Logic, Tom 8, Numer 3 (1979) s. 154-160
M.J. Cresswell

 

do góry