Remarks on Floyd-Hoare derivability

Bulletin of the Section of Logic, Tom 9, Numer 3 (1980) s. 131-135
Laszlo Csirmaz

 

do góry