Games
Apps
Movies & TV
Books
Children
google_logo Play
Games
Apps
Movies & TV
Books
Children
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments and subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of service
Games
Apps
Movies & TV
Books
Children
Ebooks
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
$19.25
$16.75
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
$19.25
$16.75