Zagadnienia syntaktyki i semantyki systemów dedukcyjnych - ADAM JONKISZ (Autor) (Kraków, 2024)
https://wydawnictwo.ignatianum.edu.pl/zagadnienia-syntaktyki-i-semantyki-systemow-dedukcyjnych.htm
Monografia naukowa
Keywords: filozofia; dowody indukcyjne; metody metalogiki; modelu (teoromodelowe i teoriomnogościowe); niesprzeczność; pełność systemu; pojęcie konsekwencji; pojęcie spełniania; postaci normalne; prawdy; rozstrzygalność systemu; semantyczne pojęcie niesprzeczności; typy systemów dedukcyjnych; wynikanie logiczne; zupełność