题名:How to prove it =
作者:Velleman, Daniel J.
出版年:2009
ISBN: 9787115209689
分类号: O141
中图分类: 数理逻辑（符号逻辑）