00353nam a2200133 a 4500008004100000020001500041050001300056100001500069245004900084260002600133300002100159350000900180650003000189120416s1994    ||||||||||||||||| ||    u  a052142027X  aQA 9 Sha  aShankar, N10aMetamathematics, machines, and Godel's proof  aCambridge:bCUPc1994  axv, 202p. : ill.  a0.00  aAUTOMATIC THEOREM PROVING