āĻā§āĻŽ
āĻ ā§āϝāĻžāĻĒ
āĻāϞāĻā§āĻāĻŋāϤā§āϰāĻā§āϞāĻŋ āĻ āĻāĻŋāĻāĻŋ
āĻŦāĻ
āĻŦāĻžāĻā§āĻāĻžāĻĻā§āϰ
google_logo Play
āĻā§āĻŽ
āĻ ā§āϝāĻžāĻĒ
āĻāϞāĻā§āĻāĻŋāϤā§āϰāĻā§āϞāĻŋ āĻ āĻāĻŋāĻāĻŋ
āĻŦāĻ
āĻŦāĻžāĻā§āĻāĻžāĻĻā§āϰ
none
search
help_outline
Google-āĻāϰ āĻŽāĻžāϧā§āϝāĻŽā§ āϏāĻžāĻāύ-āĻāύ āĻāϰā§āύ
play_apps
āϞāĻžāĻāĻŦā§āϰā§āϰāĻŋ āĻāĻŦāĻ āĻĄāĻŋāĻāĻžāĻāϏ
payment
āĻĒā§āĻŽā§āύā§āĻ āĻāĻŦāĻ āϏāĻĻāϏā§āϝāϤāĻž
reviews
āĻāĻŽāĻžāϰ Play āĻ ā§āϝāĻžāĻā§āĻāĻŋāĻāĻŋāĻāĻŋ
redeem
āĻ āĻĢāĻžāϰāĻā§āϞāĻŋ
Play Pass
Play-āϤ⧠āĻĒāĻāύā§āĻĻāĻŽāϤ⧠āϏāĻžāĻāĻŋā§ā§ āύā§āĻā§āĻž
settings
āϏā§āĻāĻŋāĻāϏ
āĻā§āĻĒāύā§ā§āϤāĻž āύā§āϤāĻŋ
âĸ
āĻĒāϰāĻŋāώā§āĻŦāĻžāϰ āĻļāϰā§āϤāĻžāĻŦāϞā§
āĻā§āĻŽ
āĻ ā§āϝāĻžāĻĒ
āĻāϞāĻā§āĻāĻŋāϤā§āϰāĻā§āϞāĻŋ āĻ āĻāĻŋāĻāĻŋ
āĻŦāĻ
āĻŦāĻžāĻā§āĻāĻžāĻĻā§āϰ
Generalized Recursion Theory
Lev D. Beklemishev
āĻāĻĒā§āϰāĻŋ ⧍ā§Ļā§Ļā§Ļ
¡
Studies in Logic and the Foundations of Mathematics
āĻŦāĻ 79
¡ Elsevier
āĻ-āĻŦā§āĻ
455
āĻĒā§āώā§āĻ āĻž
family_home
āĻāĻĒāϝā§āĻā§āϤ
info
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$ āĻ-āĻŦā§āĻ
āĻĢā§āϰāĻŋ āύāĻŽā§āύāĻž
āĻāĻā§āĻāĻž āϤāĻžāϞāĻŋāĻāĻžā§ āϝā§āĻ āĻāϰā§āύ
āĻāĻĒāĻšāĻžāϰ āĻšāĻŋāϏā§āĻŦā§ āĻāĻŋāύā§āύ
āĻāĻ āĻ-āĻŦā§āĻā§āϰ āĻŦāĻŋāώā§ā§
arrow_forward
Generalized Recursion Theory
āϏāĻŋāϰāĻŋāĻ
Computers & technology
āĻ-āĻŦā§āĻā§ āϰā§āĻāĻŋāĻ āĻĻāĻŋāύ
āĻāĻĒāύāĻžāϰ āĻŽāϤāĻžāĻŽāϤ āĻāĻžāύāĻžāύāĨ¤
āϰāĻŋāĻāĻŋāĻ āϞāĻŋāĻā§āύ
āĻĒāĻ āύ āϤāĻĨā§āϝ
expand_more
āϏā§āĻŽāĻžāϰā§āĻāĻĢā§āύ āĻāĻŦāĻ āĻā§āϝāĻžāĻŦāϞā§āĻ
Android
āĻāĻŦāĻ
iPad/iPhone
āĻāϰ āĻāύā§āϝ
Google Play āĻŦāĻ āĻ ā§āϝāĻžāĻĒ
āĻāύāϏā§āĻāϞ āĻāϰā§āύāĨ¤ āĻāĻāĻŋ āĻāĻĒāύāĻžāϰ āĻ ā§āϝāĻžāĻāĻžāĻāύā§āĻā§āϰ āϏāĻžāĻĨā§ āĻ āĻā§āĻŽā§āĻāĻŋāĻ āϏāĻŋāĻā§āĻ āĻšā§ āĻ āĻāĻĒāύāĻŋ āĻ āύāϞāĻžāĻāύ āĻŦāĻž āĻ āĻĢāϞāĻžāĻāύ āϝāĻžāĻ āĻĨāĻžāĻā§āύ āύāĻž āĻā§āύ āĻāĻĒāύāĻžāĻā§ āĻĒā§āϤ⧠āĻĻā§ā§āĨ¤
āϞā§āϝāĻžāĻĒāĻāĻĒ āĻ āĻāĻŽā§āĻĒāĻŋāĻāĻāĻžāϰ
Google Play āĻĨā§āĻā§ āĻā§āύāĻž āĻ āĻĄāĻŋāĻāĻŦā§āĻ āĻāĻĒāύāĻŋ āĻāĻŽā§āĻĒāĻŋāĻāĻāĻžāϰā§āϰ āĻā§ā§āĻŦ āĻŦā§āϰāĻžāĻāĻāĻžāϰ⧠āĻļā§āύāϤ⧠āĻĒāĻžāϰā§āύāĨ¤
eReader āĻāĻŦāĻ āĻ āύā§āϝāĻžāύā§āϝ āĻĄāĻŋāĻāĻžāĻāϏ
Kobo eReaders-āĻāϰ āĻŽāϤ⧠e-ink āĻĄāĻŋāĻāĻžāĻāϏ⧠āĻĒāĻĄāĻŧāϤā§, āĻāĻĒāύāĻžāĻā§ āĻāĻāĻāĻŋ āĻĢāĻžāĻāϞ āĻĄāĻžāĻāύāϞā§āĻĄ āĻ āĻāĻĒāύāĻžāϰ āĻĄāĻŋāĻāĻžāĻāϏ⧠āĻā§āϰāĻžāύā§āϏāĻĢāĻžāϰ āĻāϰāϤ⧠āĻšāĻŦā§āĨ¤ āĻŦā§āϝāĻŦāĻšāĻžāϰāĻāĻžāϰā§āϰ āĻāĻĻā§āĻĻā§āĻļā§āϝ⧠āϤā§āϰāĻŋ
āϏāĻšāĻžā§āϤāĻž āĻā§āύā§āĻĻā§āϰ
āϤ⧠āĻĻā§āĻā§āĻž āύāĻŋāϰā§āĻĻā§āĻļāĻžāĻŦāϞ⧠āĻ āύā§āϏāϰāĻŖ āĻāϰ⧠āϝā§āϏāĻŦ eReader-āĻ āĻĢāĻžāĻāϞ āĻĒāĻĄāĻŧāĻž āϝāĻžāĻŦā§ āϏā§āĻāĻžāύ⧠āĻā§āϰāĻžāύā§āϏāĻĢāĻžāϰ āĻāϰā§āύāĨ¤
āϏāĻŋāϰāĻŋāĻ āĻĒāĻĄāĻŧāĻž āĻāĻžāϞāĻŋā§ā§ āϝāĻžāύ
arrow_forward
Proof Theory
Lev D. Beklemishev
āĻŦāĻ 81
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Large Infinitary Languages
Lev D. Beklemishev
āĻŦāĻ 83
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Sets and Classes on The Work by Paul Bernays
Lev D. Beklemishev
āĻŦāĻ 84
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory, Edition 2
T. Hailperin
āĻŦāĻ 85
âĸ
Science & math
ā§ā§¨.⧝ā§Ģ US$
ā§Ģā§Ž.ā§Šā§ŦÂ US$
Lev D. Beklemishev āĻāϰ āĻĨā§āĻā§ āĻāϰā§
arrow_forward
Truth, Syntax and Modality
Lev D. Beklemishev
āĻŦāĻ 68
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Provability, Computability and Reflection
Lev D. Beklemishev
āĻŦāĻ 5
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Languages with Expressions of Infinite Length
Lev D. Beklemishev
āĻŦāĻ 36
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Logic in Algebraic Form
Lev D. Beklemishev
āĻŦāĻ 72
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
āĻāĻāĻ āϧāϰāύā§āϰ āĻ-āĻŦā§āĻ
arrow_forward
Proof Theory
Lev D. Beklemishev
āĻŦāĻ 81
âĸ
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
Recursive Model Theory
Y.L. Ershov
āĻŦāĻ 1
âĸ
Computers & technology
⧧⧝ā§Ģ.ā§Ļā§Ļ US$
ā§§ā§Ģā§Ŧ.ā§Ļā§ĻÂ US$
Foundational Studies Selected Works
Lev D. Beklemishev
Computers & technology
⧍ā§ā§Ģ.ā§Ļā§Ļ US$
⧍⧍ā§Ļ.ā§Ļā§Ļ US$
The Big Switch: Rewiring the World, from Edison to Google
Nicholas Carr
Computers & technology
ā§Ē.ā§§
star
ā§§ā§Ŧ.ā§§ā§ĻÂ US$
⧝.ā§¯ā§¯Â US$