- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Chvalovský, Karel - Undecidability of consequence relation in full non-associative Lambek Calculus
Нет экз.
Статья
Автор: Chvalovský, Karel
The Journal of Symbolic Logic: Undecidability of consequence relation in full non-associative Lambek Calculus
б.г.
ISBN отсутствует
Автор: Chvalovský, Karel
The Journal of Symbolic Logic: Undecidability of consequence relation in full non-associative Lambek Calculus
б.г.
ISBN отсутствует
На полку
Статья
Chvalovský, Karel.
Undecidability of consequence relation in full non-associative Lambek Calculus / K. Chvalovský // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 567-586.
Chvalovský, Karel.
Undecidability of consequence relation in full non-associative Lambek Calculus / K. Chvalovský // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 567-586.
