Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Cambridge Tracts in Theoretical Computer Science Ser.: Logic and Computation : Interactive Proof with Cambridge LCF by L. C. Paulson (1990, Trade Paperback)
thenilestore (1255390)
99% positive feedback
Price:
AU $114.33
+ $4.99 postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation.
- Buy It NowLogic and Computation: Interactive Proof with Cambridge Lcf by Lawrence C. Pauls
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCambridge University Press
ISBN-100521395607
ISBN-139780521395601
eBay Product ID (ePID)96513029
Product Key Features
Number of Pages320 Pages
LanguageEnglish
Publication NameLogic and Computation : Interactive Proof with Cambridge Lcf
SubjectProgramming Languages / General, Logic
Publication Year1990
TypeTextbook
AuthorL. C. Paulson
Subject AreaComputers, Mathematics
SeriesCambridge Tracts in Theoretical Computer Science Ser.
FormatTrade Paperback
Dimensions
Item Height0.7 in
Item Weight20.4 Oz
Item Length9.7 in
Item Width7.4 in
Additional Product Features
Intended AudienceScholarly & Professional
