An invitation to mathematical logic

By:

Material type: Text

Subject(s):

DDC classification:

Contents:

Part 1. Truth and proof

Part 2. Elements of model theory

Part 3. Computability

Part 4. Arithmetic and Incompleteness

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	IIITD General Stacks	Mathematics	511.3 MAR-I (Browse shelf(Opens below))	Available		013259

Total holds: 0

Includes bibliographical references and index

Part 1. Truth and proof

Part 2. Elements of model theory

Part 3. Computability

Part 4. Arithmetic and Incompleteness

There are no comments on this title.

to post a comment.