Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986

• 資料種別: 図書
• ISBN: 0444703268
• タイトル: Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986
• 著者・編者: edited by F.R. Drake and J.K. Truss
• 著者標目: Logic Colloquium; https://ci.nii.ac.jp/author/DA00307794; Drake, F. R. (Frank Robert); https://ci.nii.ac.jp/author/DA0183406X; Truss, J. K; https://ci.nii.ac.jp/author/DA02119310
• 出版事項: North-Holland
• 出版年月日等: 1988
• 出版年（W3CDTF）: 1988
• 大きさ: 24 cm
• 出版地（国名コード）: ne
• 本文の言語コード: en
• 件名標目: Logic, Symbolic and mathematical -- Congresses
• LCC: QA9.A1
• NDC: 410.12
• 対象利用者: 一般
• 一般注記: "Logic Colloquium '86 was held at the University of Hull, England from July 13-19, 1986. It was the European summer meeting of the Association for Symbolic Logic; and was organized by the British Logic Colloquium and the University of Hull, Department of Pure Mathematics." -- Pref; "Logic Colloquium '86 was dedicated to the memory of Professor R.L. Goodstein (1912-1985), in recognition of his contribution to mathematical logic in Britain" -- p. [v]
• 関連情報: Studies in logic and the foundations of mathematics; https://cir.nii.ac.jp/crid/1130282269761864832
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA01291886#entity
• 掲載誌: Studies in logic and the foundations of mathematics; https://cir.nii.ac.jp/crid/1130282269761864832
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA01291886 : BA01291886