- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
The Journal of Symbolic Logic
Периодическое издание
The Journal of Symbolic Logic / Association for Symbolic Logic. – New York : Cambridge Univ. Press, 1969
ISSN 0022-4812.
Выпуск
16 172
The Journal of Symbolic Logic. – 2015. – Vol.80, № 1.
1645216 ОФ
The Journal of Symbolic Logic / Association for Symbolic Logic. – New York : Cambridge Univ. Press, 1969
ISSN 0022-4812.
Выпуск
16 172
The Journal of Symbolic Logic. – 2015. – Vol.80, № 1.
1645216 ОФ
Привязано к:
Связанные описания:
Статья
Cintula, Petr
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
б.г.
ISBN отсутствует
Статья
Kim, Byunghan
A classification of 2-chains having 1-shell boundaries in rosy theories
б.г.
ISBN отсутствует
Kim, Byunghan
A classification of 2-chains having 1-shell boundaries in rosy theories
б.г.
ISBN отсутствует
Статья
Friedman, Sy-David
Large cardinals and lightface definable well-orders, without the GCH
б.г.
ISBN отсутствует
Friedman, Sy-David
Large cardinals and lightface definable well-orders, without the GCH
б.г.
ISBN отсутствует
Статья
Ealy, Clifton F.
Model completeness of o-minimal fields with convex valuations
б.г.
ISBN отсутствует
Ealy, Clifton F.
Model completeness of o-minimal fields with convex valuations
б.г.
ISBN отсутствует
Статья
Kovacsics, Pablo Cubides
Locally constant functions in C-minimal structures
б.г.
ISBN отсутствует
Kovacsics, Pablo Cubides
Locally constant functions in C-minimal structures
б.г.
ISBN отсутствует
Статья
D’aquino, Paola
A valuation theoretic characterization of recursively saturated real closed fields
б.г.
ISBN отсутствует
D’aquino, Paola
A valuation theoretic characterization of recursively saturated real closed fields
б.г.
ISBN отсутствует
Статья
Kreuzer, Alexander P.
On idempotent ultrafilters in higher-order reverse mathematics
б.г.
ISBN отсутствует
Kreuzer, Alexander P.
On idempotent ultrafilters in higher-order reverse mathematics
б.г.
ISBN отсутствует
Статья
Greenberg, Noam
Computability and uncountable linear orders II: degree spectra
б.г.
ISBN отсутствует
Greenberg, Noam
Computability and uncountable linear orders II: degree spectra
б.г.
ISBN отсутствует
Статья
Greenberg, Noam
Computability and uncountable linear orders I: computable categoricity
б.г.
ISBN отсутствует
Greenberg, Noam
Computability and uncountable linear orders I: computable categoricity
б.г.
ISBN отсутствует