Games
Apps
Movies
Books
Kids
google_logo Play
Games
Apps
Movies
Books
Kids
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
Movies
Books
Kids
More by Peter G. Clote
Logic of Computation
Book 157
€54.49
€38.14
Proof and Computation
Book 139
€98.09
€68.66
Computational Logic
Book 165
€152.59
€106.81
Proof and System-Reliability
Book 62
€54.49
€38.14
Proofs and Computations
€91.58
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
€82.10
€57.47
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
€124.20
€86.94
Logic and Algebra of Specification
Book 94
€152.59
€106.81
Handbook of Constructive Mathematics
€190.82
