Hintikka formulas as axioms of refutation calculus, a case study

Bulletin of the Section of Logic, Tom 24, Numer 2 (1995) s. 105-114
Takao Inoue

 

do góry