An integer-valued matrix characteristic for implicational S5

Bulletin of the Section of Logic, Tom 19, Numer 3 (1990) s. 87-91
Dolph Ulrich

 

do góry