Theorem Proving in Higher Order Logics(English, Electronic book text, Hurd Joe)
- Hurd Joe
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3019SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹403Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Theorem Proving in Higher Order Logics(English, Electronic book text, Hurd Joe) is written by Hurd Joe and published by Springer Verlag Berlin Heidelberg. It's available with International Standard Book Number or ISBN identification 3540318208 (ISBN 10) and 9783540318200 (ISBN 13).
