A.L. Rastsvetaev
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On monadic logic of recursive programs with parameters Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 57 - 61ROK: 1989CZYSTY TEKSTBIBTEX
