TYTUŁ ARTYKUŁU

Remarks on Floyd-Hoare derivability

AUTORZY
Laszlo Csirmaz
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1980 / Tom 9 / Numer 3
STRONY
131 - 135
ROK
1980
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Laszlo Csirmaz, Remarks on Floyd-Hoare derivability, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 131 - 135

BIBTEX

Laszlo Csirmaz. Remarks on Floyd-Hoare derivability. Bulletin of the Section of Logic, 9(3):131–135, 1980.

Pokaż kod BibTeX 
@article{bazhum218356,
  author = {Csirmaz, Laszlo},
  title = {{Remarks on Floyd-Hoare derivability}},
  journal = {Bulletin of the Section of Logic},
  year = {1980},
  volume = {9},
  number = {3},
  pages = {131--135},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/218356}
}