The search result is exported to RefWorks.Results 1 items.
Export
RT Book, Whole SR Print DC OPAC T1 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著 T2 ブルーバックス A1 竹内, 薫(1960-) YR 2013 FD 2013.4 SP 246p K1 記号論理学 K1 ゲーデルの定理 K1 Turing, Alan Mathison(1912-1954) PB 講談社 PP 東京 SN 9784062578103 LA Japanese (日本語) CL NDC8:410.96 NO 読書案内: p231-240 NO BIBID=2000098985; NCID=BB12229644; LK [OPAC]https://lib.asahikawa-med.ac.jp/opac/opac_link/bibid/2000098985 OL 58