Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
A finitary relational algebra for classical first-order logic
Zacytuj
CZYSTY TEKST
Armando M. Haeberer, Paulo A.S. Veloso, A finitary relational algebra for classical first-order logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 2, s. 52 - 62
BIBTEX
Armando M. Haeberer and Paulo A.S. Veloso. A finitary relational algebra for classical first-order logic. Bulletin of the Section of Logic, 20(2):52–62, 1991.
Pokaż kod BibTeX
@article{bazhum226016,
author = {Haeberer, Armando M. and Veloso, Paulo A.S.},
title = {{A finitary relational algebra for classical first-order logic}},
journal = {Bulletin of the Section of Logic},
year = {1991},
volume = {20},
number = {2},
pages = {52--62},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/226016}
}