TYTUŁ ARTYKUŁU

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

AUTORZY
Branden Fitelson, Dolph Urlich, Larry Wos
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2003 / Tom 32 / Numer 3
STRONY
131 - 136
ROK
2003
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Branden Fitelson, Dolph Urlich, Larry Wos, XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 131 - 136

BIBTEX

Branden Fitelson, Dolph Urlich, and Larry Wos. XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus. Bulletin of the Section of Logic, 32(3):131–136, 2003.

Pokaż kod BibTeX 
@article{bazhum241289,
  author = {Fitelson, Branden and Urlich, Dolph and Wos, Larry},
  title = {{XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus}},
  journal = {Bulletin of the Section of Logic},
  year = {2003},
  volume = {32},
  number = {3},
  pages = {131--136},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241289}
}