Proving unprovability in some normal modal logic

Bulletin of the Section of Logic, Tom 20, Numer 1 (1991) s. 23-29
Valentin Goranko

 

do góry