- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Cintula, Petr - A Henkin-style proof of completeness for first-order algebraizable logics
Нет экз.
Статья
Автор: Cintula, Petr
The Journal of Symbolic Logic: A Henkin-style proof of completeness for first-order algebraizable logics
б.г.
ISBN отсутствует
Автор: Cintula, Petr
The Journal of Symbolic Logic: A Henkin-style proof of completeness for first-order algebraizable logics
б.г.
ISBN отсутствует
На полку
Статья
Cintula, Petr.
A Henkin-style proof of completeness for first-order algebraizable logics / P. Cintula, C. Noguera // The Journal of Symbolic Logic. – 2015. – Vol.80, № 1. – P. 341-358.
Cintula, Petr.
A Henkin-style proof of completeness for first-order algebraizable logics / P. Cintula, C. Noguera // The Journal of Symbolic Logic. – 2015. – Vol.80, № 1. – P. 341-358.
