北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

スウリ ロンリガク

数理論理学 / 林晋著

(コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編;3)
データ種別 図書
出版者 東京 : コロナ社
出版年 1989.12
著者標目 林, 晋(1953-) <ハヤシ, ススム>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
理学 単行本
410.96||H48 11002221

1989

書誌詳細を非表示

大きさ viii, 177p ; 22cm
別書名 奥付タイトル:Mathematical logic
件　名 BSH:記号論理学
NDLSH:記号論理学
一般注記 参考文献: p[172]-173
索引: 巻末
分　類 NDC8:410.96
NDC7:410.12
書誌ID BB00155521
本文言語 日本語
巻冊次 ISBN:4339025364 ; PRICE:2060円
NCID BN04117719

類似資料

  1. 1 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
  2. 2 ゲーデル・不完全性定理 : '理性の限界'の発見 / 吉永良正著
  3. 3 はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
  4. 4 記号論理入門 / 前原昭二著
  5. 5 論理数学 / 太原育夫著

検索結果一覧に戻る ページトップ

図書館サービス

利用者サービス