Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
The Basic Constructive Logic for Weak Consistency and the Reductio Axioms
Zacytuj
CZYSTY TEKST
Jose M. Mendez, Gemma Robles, The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 61 - 76
BIBTEX
Jose M. Mendez and Gemma Robles. The Basic Constructive Logic for Weak Consistency and the Reductio Axioms. Bulletin of the Section of Logic, 38(1-2):61–76, 2009.
Pokaż kod BibTeX
@article{bazhum243523,
author = {Mendez, Jose M. and Robles, Gemma},
title = {{The Basic Constructive Logic for Weak Consistency and the Reductio Axioms}},
journal = {Bulletin of the Section of Logic},
year = {2009},
volume = {38},
number = {1-2},
pages = {61--76},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/243523}
}