A new axiomatization of K1

Wansing, Heinrich

TYTUŁ ARTYKUŁU

A new axiomatization of K1

AUTORZY: Heinrich Wansing
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1996 / Tom 25 / Numer 1
STRONY: 60 - 62
ROK: 1996
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Heinrich Wansing, A new axiomatization of K1, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 60 - 62

BIBTEX

Heinrich Wansing. A new axiomatization of K1. Bulletin of the Section of Logic, 25(1):60–62, 1996.

Pokaż kod BibTeX

@article{bazhum233859,
  author = {Wansing, Heinrich},
  title = {{A new axiomatization of K1}},
  journal = {Bulletin of the Section of Logic},
  year = {1996},
  volume = {25},
  number = {1},
  pages = {60--62},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233859}
}