Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
詳しい情報
出版社: Cambridge University Press(1987-10-15)
ハードカバー: 320 ページ / 17.4 x 2.2 x 24.7 cm
ISBN-10: 0521346320 ISBN-13: 9780521346320