On monadic logic of recursive programs with parameters

Bulletin of the Section of Logic, Tom 18, Numer 2 (1989) s. 57-61
A.L. Rastsvetaev

 

do góry