TYTUŁ ARTYKUŁU

A constructive logic of program schemata on a decidable universe

AUTORZY
N.N. Nepejvoda
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1988 / Tom 17 / Numer 3-4
STRONY
138 - 147
ROK
1988
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

N.N. Nepejvoda, A constructive logic of program schemata on a decidable universe, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 138 - 147

BIBTEX

N.N. Nepejvoda. A constructive logic of program schemata on a decidable universe. Bulletin of the Section of Logic, 17(3-4):138–147, 1988.

Pokaż kod BibTeX 
@article{bazhum224206,
  author = {Nepejvoda, N.N.},
  title = {{A constructive logic of program schemata on a decidable universe}},
  journal = {Bulletin of the Section of Logic},
  year = {1988},
  volume = {17},
  number = {3-4},
  pages = {138--147},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/224206}
}