Тоглоом
Апп
Кино
Ном
Хүүхдийн
google_logo Play
Тоглоом
Апп
Кино
Ном
Хүүхдийн
none
search
help_outline
Google-р нэвтрэх
play_apps
Сан ба төхөөрөмж
payment
Төлбөр, захиалга
reviews
Миний Play үйл ажиллагаа
redeem
Санал
Play Pass
Play-н хувийн болгох тохируулга
settings
Тохиргоо
Нууцлалын бодлого
•
Үйлчилгээний нөхцөл
Тоглоом
Апп
Кино
Ном
Хүүхдийн
Languages with Expressions of Infinite Length
Lev D. Beklemishev
2000 оны 4-р сар
·
Studies in Logic and the Foundations of Mathematics
36-р ном
· Elsevier
Электрон ном
182
Хуудас
family_home
Боломжит
info
€ 234.35
€ 164.04 Электрон ном
Жишээ
Хүслийн жагсаалтад нэмэх
report
Үнэлгээ болон шүүмжийг баталгаажуулаагүй
Нэмэлт мэдээлэл авах
Энэ электрон номын тухай
arrow_forward
Languages with Expressions of Infinite Length
Цуврал
Computers en technologie
Энэ электрон номыг үнэлэх
Санал бодлоо хэлнэ үү.
Шүүмж бичих
Унших мэдээлэл
expand_more
Ухаалаг утас болон таблет
Андройд
болон
iPad/iPhone
-д
Google Ном Унших аппыг
суулгана уу. Үүнийг таны бүртгэлд автоматаар синк хийх бөгөөд та хүссэн газраасаа онлайн эсвэл офлайнаар унших боломжтой.
Зөөврийн болон ердийн компьютер
Та компьютерийн веб хөтчөөр Google Play-с авсан аудио номыг сонсох боломжтой.
eReaders болон бусад төхөөрөмжүүд
Kobo Цахим ном уншигч гэх мэт e-ink төхөөрөмжүүд дээр уншихын тулд та файлыг татаад төхөөрөмж рүүгээ дамжуулах шаардлагатай болно. Файлуудаа дэмжигддэг Цахим ном уншигч руу шилжүүлэхийн тулд
Тусламжийн төвийн
дэлгэрэнгүй зааварчилгааг дагана уу.
flag
Хууль бус контентыг мэдээлэх
Цувралыг үргэлжлүүлэх
arrow_forward
A Transfinite Type Theory with Type Variables
Lev D. Beklemishev
37-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Introduction to the Theory of Finite Automata
Lev D. Beklemishev
38-р ном
•
Computers en technologie
€ 234.35
€ 164.04
The Foundations of Intuitionistic Mathematics
Lev D. Beklemishev
39-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Formal Systems and Recursive Functions
Lev D. Beklemishev
40-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Lev D. Beklemishev-н дэлгэрэнгүй
arrow_forward
Provability, Computability and Reflection
Lev D. Beklemishev
33-р ном
•
Computers en technologie
€ 234.35
€ 164.04
WORD PROBLEMS II
Lev D. Beklemishev
95-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Lev D. Beklemishev
60-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Provability, Computability and Reflection
Lev D. Beklemishev
34-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Төстэй электрон ном
arrow_forward
A Transfinite Type Theory with Type Variables
Lev D. Beklemishev
37-р ном
•
Computers en technologie
€ 234.35
€ 164.04
Recursive Model Theory
Y.L. Ershov
1-р ном
•
Computers en technologie
€ 162.41
€ 113.69
Intuitionistic Logic Model Theory and Forcing
Lev D. Beklemishev
Computers en technologie
€ 234.35
€ 164.04
Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes
Charles Seife
Computers en technologie
€ 14.55