検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček T2 Oxford logic guides A1 Clote, Peter A1 Krajíček, Jan YR 1993 FD 1993 SP xii, 428 p. K1 Proof theory K1 Computational complexity K1 Arithmetic PB Clarendon Press PP Oxford SN 0198536909 LA English (英語) CL LCC:QA9.54 CL DC20:511.3 NO 書誌ID=1000473120; NCID=BA20017713; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000473120 OL 30