A Sequent System of the Logic R- for Rosser Sentences

Bulletin of the Section of Logic, Tom 33, Numer 1 (2004) s. 11-21
Katsumi Sasaki, Shigeo Ohama

 

do góry