Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
An Investigation into Intuitionistic Logic with Identity
Zacytuj
CZYSTY TEKST
Szymon Chlebowski, Dorota Leszczyńska-Jasion, An Investigation into Intuitionistic Logic with Identity , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 4, s. 259 - 283
BIBTEX
Szymon Chlebowski and Dorota Leszczyńska-Jasion. An Investigation into Intuitionistic Logic with Identity. Bulletin of the Section of Logic, 48(4):259–283, 2019.
Pokaż kod BibTeX
@article{bazhum277762,
author = {Chlebowski, Szymon and Leszczyńska-Jasion, Dorota},
title = {{An Investigation into Intuitionistic Logic with Identity}},
journal = {Bulletin of the Section of Logic},
year = {2019},
volume = {48},
number = {4},
pages = {259--283},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/277762}
}