Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
On provability measures for deductive systems III
Zacytuj
CZYSTY TEKST
David Miller, On provability measures for deductive systems III, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 51 - 57
BIBTEX
David Miller. On provability measures for deductive systems III. Bulletin of the Section of Logic, 7(2):51–57, 1978.
Pokaż kod BibTeX
@article{bazhum216885,
author = {Miller, David},
title = {{On provability measures for deductive systems III}},
journal = {Bulletin of the Section of Logic},
year = {1978},
volume = {7},
number = {2},
pages = {51--57},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/216885}
}