- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
The Journal of Symbolic Logic
Заказать 
На полку Привязано к:
Связанные описания:
Статья
Gregory, Lorna
Decidability for theories of modules over valuation domains
б.г.
ISBN отсутствует
Gregory, Lorna
Decidability for theories of modules over valuation domains
б.г.
ISBN отсутствует
Статья
Friedman, Sy-David
Failures of the Silver dichotomy in the generalized Baire space
б.г.
ISBN отсутствует
Friedman, Sy-David
Failures of the Silver dichotomy in the generalized Baire space
б.г.
ISBN отсутствует
Статья
Chvalovský, Karel
Undecidability of consequence relation in full non-associative Lambek Calculus
б.г.
ISBN отсутствует
Chvalovský, Karel
Undecidability of consequence relation in full non-associative Lambek Calculus
б.г.
ISBN отсутствует
Статья
Atserias, Albert
Lower bounds for DNF-refutations of a relativized weak pigeonhole principle
б.г.
ISBN отсутствует
Atserias, Albert
Lower bounds for DNF-refutations of a relativized weak pigeonhole principle
б.г.
ISBN отсутствует
Статья
Woods, Kevin
Presburger arithmetic, rational generating functions, and quasi-polynomials
б.г.
ISBN отсутствует
Woods, Kevin
Presburger arithmetic, rational generating functions, and quasi-polynomials
б.г.
ISBN отсутствует
Статья
Moore, Matthew
The undecidability of the definability of principal subcongruences
б.г.
ISBN отсутствует
Moore, Matthew
The undecidability of the definability of principal subcongruences
б.г.
ISBN отсутствует