เกม
แอป
ภาพยนตร์และทีวี
หนังสือ
เด็ก
google_logo Play
เกม
แอป
ภาพยนตร์และทีวี
หนังสือ
เด็ก
none
search
help_outline
ลงชื่อเข้าใช้ด้วย Google
play_apps
คลังและอุปกรณ์
payment
การชำระเงินและการสมัครใช้บริการ
reviews
กิจกรรมของฉันใน Play
redeem
ข้อเสนอพิเศษ
Play Pass
settings
การตั้งค่า
นโยบายความเป็นส่วนตัว
•
ข้อกำหนดในการให้บริการ
เกม
แอป
ภาพยนตร์และทีวี
หนังสือ
เด็ก
eBook
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
US$19.25
US$16.75
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
US$19.25
US$16.75