検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Elements of mathematical logic : (Model theory) / [By] G. Kreisel and J. L. Krivine T2 Studies in logic and the foundations of mathematics OT Eléments de logique mathématique, theorie des modéles A1 Kreisel, Georg A1 Krivine, J. L. (Jean Louis) YR 1967 FD 1967 SP xi, 222 p. K1 Logic, Symbolic and mathematical PB North Holland Pub. Co. PP Amsterdam LA English (英語) CL LCC:QA9 CL DC:164 NO Translation of Eléments de logique mathématique, theorie des modéles NO 書誌ID=B000087785; NCID=BA03985922; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000087785 OL 30