A concise introduction to mathematical logic/ Wolfgang Rautenberg
Material type: TextPublication details: New York: Springer, 2010Edition: 3rd edDescription: xvii, 256 p. : ill. ; 24 cmISBN: 9781441912206Subject(s): Logic, Symbolic and mathematical | Engineering mathematics | Computer science--MathematicsDDC classification: 510
Contents:
Propositional logic --
Predicate logic --
Godel's completeness theorem --
The foundation of logic programming--
Elements of model theory. --
Incompleteness and undecidability --
On the theory of self-reference--
Hints to the exercises.
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 510 RAU/C (Browse shelf(Opens below)) | Available | P25339 |
Total holds: 0
Propositional logic --
Predicate logic --
Godel's completeness theorem --
The foundation of logic programming--
Elements of model theory. --
Incompleteness and undecidability --
On the theory of self-reference--
Hints to the exercises.
There are no comments on this title.