Logic and Computation

作者: Lawrence C. Paulson
出版社: Cambridge University Press
副标题: Interactive Proof with Cambridge LCF
出版年: 1990-7-27
页数: 320
定价: USD 69.00
装帧: Paperback
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521395601