Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses

Mendez, Jose M.

TYTUŁ ARTYKUŁU

Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses

AUTORZY: Jose M. Mendez
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1988 / Tom 17 / Numer 1
STRONY: 15 - 22
ROK: 1988
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Jose M. Mendez, Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 1, s. 15 - 22

BIBTEX

Jose M. Mendez. Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses. Bulletin of the Section of Logic, 17(1):15–22, 1988.

Pokaż kod BibTeX

@article{bazhum223860,
  author = {Mendez, Jose M.},
  title = {{Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses}},
  journal = {Bulletin of the Section of Logic},
  year = {1988},
  volume = {17},
  number = {1},
  pages = {15--22},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/223860}
}