Keisler H.J.
Mathematical logic and computability - Америк Mc Graw Hill/ Irwin 1996 - 484
0079129315 2500
mathematics logic propositional logic pure predicate logic full predicate logic the incompleteness theorem
Mathematical logic and computability - Америк Mc Graw Hill/ Irwin 1996 - 484
0079129315 2500
mathematics logic propositional logic pure predicate logic full predicate logic the incompleteness theorem