Games
Apps
Books
Children
google_logo Play
Games
Apps
Books
Children
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Books
Children
Studies in Logic and the Foundations of Mathematics
Lev D. Beklemishev
·
A. Nerode
·
A.S. Troelstra
·
D. van Dalen
·
Dov M. Gabbay
·
J.B. Remmel
·
S.S. Goncharov
·
Y.L. Ershov
Latest release: June 28, 2014
Abstract
· Applied
· Probability & Statistics
Series
119
Books
About this ebook series
arrow_forward
Recursive Model Theory
Titles
Books
Series order
Reverse series order
Recursive Model Theory
Book 1
€162.41
€113.69
Recursive Algebra, Analysis and Combinatorics
Book 2
€196.20
€137.34
Provability, Computability and Reflection
Book 3
€234.35
€164.04
Provability, Computability and Reflection
Book 4
€234.35
€164.04
Provability, Computability and Reflection
Book 5
€234.35
€164.04
Provability, Computability and Reflection
Book 7
€234.35
€164.04
Sentences Undecidable in Formalized Arithmetic
Book 10
€234.35
€164.04
Provability, Computability and Reflection
Book 11
€234.35
€164.04
Provability, Computability and Reflection
Book 12
€234.35
€164.04
Provability, Computability and Reflection
Book 13
€234.35
€164.04
Provability, Computability and Reflection
Book 14
€234.35
€164.04
Provability, Computability and Reflection
Book 15
€234.35
€164.04
Provability, Computability and Reflection
Book 16
€234.35
€164.04
Provability, Computability and Reflection
Book 17
€234.35
€164.04
Provability, Computability and Reflection
Book 18
€234.35
€164.04
Provability, Computability and Reflection
Book 19
€234.35
€164.04
Provability, Computability and Reflection
Book 20
€234.35
€164.04
Axiomatic Set Theory
Book 21
€234.35
€164.04
Provability, Computability and Reflection
Book 23
€234.35
€164.04
Provability, Computability and Reflection
Book 24
€234.35
€164.04
Show more
Bundles
arrow_forward
Intuitionistic Logic Model Theory and Forcing
Lev D. Beklemishev
Computers & technology
€234.35
€164.04
Constructive Order Types
Lev D. Beklemishev
Computers & technology
€234.35
€164.04
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Lev D. Beklemishev
Computers & technology
€234.35
€164.04
Handbook of Mathematical Logic
J. Barwise
Computers & technology
€149.33
€104.53
Selected Papers on Automath
R.P. Nederpelt
€59.90
€45.37
Logic, Methodology and Philosophy of Science IX
D. Prawitz
€59.90
€41.93