00631nam a2200169 a 4500008004100000020001500041050001300056100001500069245004900084260002600133300002100159350000900180650003000189995009600219999001700315952012900332120416s1994    ||||||||||||||||| ||    u  a052142027X  aQA 9 Sha  aShankar, N10aMetamathematics, machines, and Godel's proof  aCambridge:bCUPc1994  axv, 202p. : ill.  a0.00  aAUTOMATIC THEOREM PROVING  D0.00FCBU-MAIN LIBRARY (Kitwe)H1I54.50M1UAVAILABLEZMain Library Open Access Collection  c51023d51023  00102lcc4070a001b001cMain Library Open Access Collectiond2022-11-30l0oQA 9 Shap026475r2022-11-30w2022-11-30y002