Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Omitting Types for Finite Variable Fragments of First Order Logic
Zacytuj
CZYSTY TEKST
Tarek Sayed Ahmed, Omitting Types for Finite Variable Fragments of First Order Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 122 - 177
BIBTEX
Tarek Sayed Ahmed. Omitting Types for Finite Variable Fragments of First Order Logic. Bulletin of the Section of Logic, 32(3):122–177, 2003.
Pokaż kod BibTeX
@article{bazhum241256,
author = {Ahmed, Tarek Sayed},
title = {{Omitting Types for Finite Variable Fragments of First Order Logic}},
journal = {Bulletin of the Section of Logic},
year = {2003},
volume = {32},
number = {3},
pages = {122--177},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/241256}
}