Deduction theorems for RM and its extensions

Bulletin of the Section of Logic, Tom 6, Numer 2 (1977) s. 67-69
Marek Tokarz

 

do góry