ようこそ
ゲスト
さん
MyOPACログイン
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌タイトルリスト
AV資料タイトルリスト
利用者サービス
貸出・予約状況照会
文献複写・貸借申込み
文献複写・貸借申込み状況照会
図書購入申込み(教員のみ)
図書購入申込み状況照会(教員のみ)
学生希望図書リクエスト
学生希望図書リクエスト状況照会
パスワード変更
メールアドレス登録・変更・削除
その他
開館カレンダー
東京農工大学図書館
東京農工大学
検索結果一覧に戻る
CLOSE
この文献を取り寄せる
ILL申込
図書館へ購入を依頼する
図書購入申込み(教員のみ)
学生希望図書リクエスト
この情報を出力する
メール送信
ファイル出力
EndNote Web出力
Mendeley出力
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Scholar
CLOSE
»
スウリ ロンリガク ニュウモン
数理論理学入門 / 角田譲著
データ種別
図書
著者標目
角田, 譲(1946-)
<カクダ, ユズル>
出版者
東京 : 朝倉書店
出版年
1996.6
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
コメント
ISBN
予約
利用注記
府中・第2閲覧室
410.96
10199931
4254110626
予約
予約
書誌詳細を非表示
巻次
ISBN:4254110626 ; PRICE:2987円
大きさ
ii, 211p ; 21cm
本文言語
日本語
件 名
BSH:
記号論理学
分 類
NDC8:
410.96
NDC7:
410.12
書誌ID
1000067622
ISBN
4254110626
NCID
BN14607601
類似資料
1
数理論理学 / 林晋著
2
情報科学のための論理数学 / 細井勉著
3
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
4
論理 / 廣瀬健著
5
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan [著] ; 川辺治之訳
6
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
7
知識処理論 / 萩野達也著
8
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
9
記号論理入門 / 前原昭二著
10
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳