• 题名: Symbolic logic and mechanical theorem proving
    作者: Chang,C.-L.; Lee,R.C.-T.
    索书号: 13.14/34
在架