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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Materials specified Status Date due Barcode
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9 Sha (Browse shelf(Opens below)) Available 026475

There are no comments on this title.

to post a comment.