IMSc Library catalog › Details for: Metamathematics, machines and Godel's proof

Normal view MARC view ISBD view

Metamathematics, machines and Godel's proof

By: Shankar, NMaterial type: Text

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 SHA (Browse shelf (Opens below))		Available		49905

Previous			No cover image available					Next
Previous	681.3 SHA Fundamentals of Numerical Computing	681.3 SHA Solving the Frame Problem : Mathematical Investigation of the common sense law of inertia	681.3 SHA Out of their minds	681.3 SHA Metamathematics, machines and Godel's proof	681.3 SHA Theoretical computer science: sixth national seminar on theoretical computer science, Banasthali Vidyapith, August 5-8, 1996	681.3 SHA Second course in formal languages and automata theory	681.3 SHA Theoretical Computer Science	Next

There are no comments on this title.

to post a comment.