Paulson, Lawrence C. - Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)

Brand : Cambridge University Press, Binding : Taschenbuch, Edition : Revised ed., Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 320, publicationDate : 2008-08-21, authors : Paulson, Lawrence C., ISBN : 0521395607 ...