A matrix adequate for S5 with MP and RN

Bulletin of the Section of Logic, Tom 9, Numer 3 (1980) s. 122-124
Jacek Hawranek

 

do góry