Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)

ページ: 331, エディション: 1, ハードカバー, Academic Press