- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
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 отсутствует
На полку 
