Normal view MARC view ISBD view

A concise introduction to mathematical logic/ Wolfgang Rautenberg

By: Rautenberg, WolfgangMaterial type: Text

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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
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.

to post a comment.