Normal view MARC view ISBD view

Metamathematics, machines, and Godel's proof

By: Shankar, NPublication details: Cambridge: CUP 1994Description: xv, 202p. : illISBN: 052142027XSubject(s): AUTOMATIC THEOREM PROVINGLOC classification: QA 9 Sha

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Home library	Call number	Materials specified	Status	Date due	Barcode
MONOGRAPH	CBU-MAIN LIBRARY, KITWE.	QA 9 Sha (Browse shelf(Opens below))		Available		026475

Browsing CBU-MAIN LIBRARY, KITWE. shelves Close shelf browser (Hides shelf browser)

Previous					No cover image available			Next
Previous	QA 9 Ham Logic for mathematicians	QA 9 Mac Set theory, logic and their limitations	QA 9 Mac Set theory, logic and their limitations	QA 9 Sha Metamathematics, machines, and Godel's proof	QA 9 Tar Introduction to logic and to the methodology of deductive sciences	QA 9 Vel How to prove it: a structured approach	QA 9 Vel How to prove it: a structured approach	Next

There are no comments on this title.

to post a comment.