図書書誌情報

図書書誌情報

所蔵情報を見る 検索結果へ戻る


書誌番号

1000001453 

言語

jpn : 日本語 

メディア種別

本 

NACSIS ID

BB26635133 

和洋区分

和資料 

書名

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 

書名カナ

ハジメテ ノ スウリ ロンリガク : ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ 

その他タイトル

標題紙タイトル||Mathematical logic for beginners

著者名

山田俊行著 

出版事項

東京 : 森北出版, 2018.7

形態

vii, 131p ; 22cm

分類

NDC7版 : 410.12
NDC8版 : 410.96
NDC9版 : 410.96
NDC10 : 410.96

巻冊次表示

Vol No巻書名ISBN表示価格書籍リンク
1
97846270780172400円+税Amazon紀伊国屋書店Google BooksWebcat Plus

著者名標目

山田, 俊行||ヤマダ, トシユキ DA17532955 

件名

[普通件名] : 記号論理学 

注記

三重大学工学部情報工学科の講義「数理論理学」の配布資料や講義ノートをもとにしたもの
参考文献: 巻末

PAGETOP

所蔵情報

書誌情報を見る

巻書名所蔵ID配架場所請求記号ステータス返却予定日予約数
 111979095学習室
410.96
Y19
 
貸出可能
0

[予約]:チェックした資料に対し予約申込を行います[請求]:チェックした資料に対し請求票を印刷します

PAGETOP