Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
The undecidability of formal definitions in the theory of finite groups
Zacytuj
CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji, The undecidability of formal definitions in the theory of finite groups, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 56 - 63
BIBTEX
Newton C.A. da Costa, F.A. Doria, and Marcelo Tsuji. The undecidability of formal definitions in the theory of finite groups. Bulletin of the Section of Logic, 24(2):56–63, 1995.
Pokaż kod BibTeX
@article{bazhum233537,
author = {da Costa, Newton C.A. and Doria, F.A. and Tsuji, Marcelo},
title = {{The undecidability of formal definitions in the theory of finite groups}},
journal = {Bulletin of the Section of Logic},
year = {1995},
volume = {24},
number = {2},
pages = {56--63},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/233537}
}