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
More by Ulrich Berger
Logic of Computation
Book 157
€54.49
€38.14
Proof and Computation
Book 139
€98.09
€68.66
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
€98.09
€68.66
Logic and Algebra of Specification
Book 94
€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
€72.32
€50.62
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
€109.40
€76.58
Handbook of Constructive Mathematics
€190.82
