Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

出版社: Cambridge University Press(2008-08-21)

ペーパーバック: 320 ページ / 18.9 x 1.9 x 24.6 cm

ISBN-10: 0521395607  ISBN-13: 9780521395601