数理論理の手法 : 証明の発見と背理法の除去第2版

数理論理の手法 : 証明の発見と背理法の除去

第2版

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 978-4-86543-241-1
Title: 数理論理の手法 : 証明の発見と背理法の除去
Title Transcription: スウリロンリノシュホウ : ショウメイノハッケントハイリホウノジョキョ
Author/Editor: 安部直人, 中西泰雄著
Edition: 第2版
Author Heading: 安部, 直人, 1950- アベ, ナオト, 1950- ( 001257713 )Authorities
中西, 泰雄, 1960- ナカニシ, ヤスオ, 1960- ( 001250249 )Authorities
Publication, Distribution, etc.: [東大阪] : デザインエッグ
Publication Date: [201-]
Extent: 179p
Size: 26cm
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 記号論理学キゴウロンリガク ( 00565709 )Authorities
NDC 10th ed.: 410.96 : Mathematics
NDLC: MA41
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: MA41-L65
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 028020863
http://id.ndl.go.jp/bib/028020863
National Bibliography No. (JPNO): 22875984
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111