Mathematical Logic and Computability. (International Ser. in Pure and Applied Mathematics)(Schaum's Outline Ser. in Mathematics
Keisler, H.J., Robbin, J. 著
内容
目次
Propositional logic; pure predicate logic; full predicate logic;computable functions; the incompleteness theorems.