Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
On monadic logic of recursive programs with parameters
Zacytuj
CZYSTY TEKST
A.L. Rastsvetaev, On monadic logic of recursive programs with parameters, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 57 - 61
BIBTEX
A.L. Rastsvetaev. On monadic logic of recursive programs with parameters. Bulletin of the Section of Logic, 18(2):57–61, 1989.
Pokaż kod BibTeX
@article{bazhum224611,
author = {Rastsvetaev, A.L.},
title = {{On monadic logic of recursive programs with parameters}},
journal = {Bulletin of the Section of Logic},
year = {1989},
volume = {18},
number = {2},
pages = {57--61},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/224611}
}