The Proof of Ł-Decidability of Lewis' System S5

Bulletin of the Section of Logic, Tom 1, Numer 1 (1972) s. 32-34
Jerzy Słupecki, Grzegorz Bryll

 

do góry