TYTUŁ ARTYKUŁU

The Mizar Project

AUTORZY
Andrzej Trybulec
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1991 / Tom 20 / Numer 3-4
STRONY
90 - 91
ROK
1991
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Andrzej Trybulec, The Mizar Project, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 90 - 91

BIBTEX

Andrzej Trybulec. The Mizar Project. Bulletin of the Section of Logic, 20(3-4):90–91, 1991.

Pokaż kod BibTeX 
@article{bazhum226098,
  author = {Trybulec, Andrzej},
  title = {{The Mizar Project}},
  journal = {Bulletin of the Section of Logic},
  year = {1991},
  volume = {20},
  number = {3-4},
  pages = {90--91},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/226098}
}