这本书专心于使用逻辑作为一件工具︰做和使用特别的合乎逻辑的索赔的正式的证据和反证物。

This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims.

youdao

这本书专心于使用逻辑作为一件工具︰做和使用特别的合乎逻辑的索赔的正式的证据和反证物。

This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims.

youdao