Mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing G delUs Theorem building to HilbertUs Tenth Problem.
本文的引用網址:
Cylindric algebras ...
Godel's theorem in ...
Logic for computer ...
Modelling with dif ...
An accompaniment t ...
A mathematical int ...
Elements of set th ...
An introduction to ...
Mathematical logic ...
Introduction to ma ...
A transition to ma ...
Logic, sets, and r ...
Modal logic /
Practical applicat ...
Algebraic theory o ...
Discrete mathemati ...
Fundamental logic ...
Logic : technique ...
Logic and argument ...
Fuzzy sets and fuz ...
Elements of the th ...
Logic, methodology ...
Set theory, logic, ...
To infinity and be ...
Introduction to la ...
The theory of comp ...