Числення секвенцій: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м Ієрархія заголовків. WikiProject Check Wikipedia ID #25 |
Shynkar (обговорення | внесок) |
||
Рядок 144:
== Джерела ==
* Правила виводу // {{ФЕС|сторінки=507}}
*Ebbinghaus H.-D., Flum J., Thomas W.: '' Mathematical logic.'' New York: Springer-Verlag, 1984.
*Richter, M. M.: ''Logikkalküle.'' Stuttgart: Teubner Verlag, 1978.
|