TYTUŁ ARTYKUŁU

A Concise Axiomatization of RM->

AUTORZY
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2001 / Tom 30 / Numer 4
STRONY
191 - 195
ROK
2001
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos, A Concise Axiomatization of RM->, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 191 - 195

BIBTEX

Zachary Ernst, Branden Fitelson, Kenneth Harris, and Larry Wos. A Concise Axiomatization of RM->. Bulletin of the Section of Logic, 30(4):191–195, 2001.

Pokaż kod BibTeX 
@article{bazhum240914,
  author = {Ernst, Zachary and Fitelson, Branden and Harris, Kenneth and Wos, Larry},
  title = {{A Concise Axiomatization of RM->}},
  journal = {Bulletin of the Section of Logic},
  year = {2001},
  volume = {30},
  number = {4},
  pages = {191--195},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/240914}
}