TYTUŁ ARTYKUŁU

Explaining the undecidability of first-order logic

AUTORZY
Timm Lampert, Anderson Nakano
TYTUŁ CZASOPISMA
Zagadnienia Filozoficzne w Nauce
WYDANIE
2024 / Numer 77
STRONY
3 - 23
ROK
2024
WYDAWCA
Copernicus Center Press
ISSN
0867-8286
Pełny tekst (PDF)

Zacytuj

CZYSTY TEKST

Timm Lampert, Anderson Nakano, Explaining the undecidability of first-order logic, Zagadnienia Filozoficzne w Nauce, 2024 / Numer 77, s. 3 - 23

BIBTEX 
@article{bazhum657901,
  author = {Lampert, Timm and Nakano, Anderson},
  title = {{Explaining the undecidability of first-order logic}},
  journal = {Zagadnienia Filozoficzne w Nauce},
  year = {2024},
  number = {77},
  pages = {3--23},
  issn = {0867-8286},
  url = {https://bazhum.muzhp.pl/articles/657901}
}