Games
Apps
Books
Kids
google_logo Play
Games
Apps
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
Books
Kids
More by Helmut Schwichtenberg
Logic of Computation
Book 157
€54.49
€38.14
Proof and Computation
Book 139
€98.09
€68.66
Proof and System-Reliability
Book 62
€54.49
€38.14
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
€98.09
€68.66
Computational Logic
Book 165
€152.59
€106.81
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
€109.15
€76.40
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
€72.15
€50.50
Logic and Algebra of Specification
Book 94
€152.59
€106.81
Handbook of Constructive Mathematics
€190.82
