论文信息 - Inconsistent and Incomplete Logics - 字舞流文

Inconsistent and Incomplete Logics

[1] R. Smullyan. First-Order Logic , 1968 .

[2] P. Halmos. Lectures on Boolean Algebras , 1963 .