A normalization theorem for P-W

Bulletin of the Section of Logic, Tom 28, Numer 2 (1999) s. 83-88
Misao Nagayama

 

do góry