00855na  a2200253   4500001001500000005001500015008004100030020002200071020002200093040001900115049002900134052002200163082001400185100004300199245007700242260004700319300001700366505007400383650003700457700002300494900003000517963001900547963003500566WMO199503259  19950821150143950812s1990    us            000d  eng  1 a0195039645 (v. 1)1 a0195039726 (v. 2)  a011001c0110010 lWM190030v1lWM190031v202a511.3bG581cc1-20 a511.32201 aGödel, Kurt,d1906-19780KAC20171600010aCollected works/dKurt G¨odel ; edited by Solomon Feferman ... [et al.]  aNew York:bOxford University Press,cc1990  a2 v.;c25 cm0 aContents: v.1. Publications 1929-1936 -- v.2. Publications 1938-1974. 0aLogic, Symbolic and mathematical1 aFeferman, Solomon.10aG¨odel, Kurt,d1906-1978  aCOLLECTEDWORKS  aLogic,aSymbolicamathematical