検索トップへ
目録検索 ▼
新着案内
貸出ランキング
図書分類表
利用者サービス ▼
利用状況の確認
ブックマーク
お気に入り検索
新着アラート
≡
書誌詳細
関西学院大学図書館
検索結果一覧へ戻る
Advanced logic for applications
Richard E. Grandy. -- D. Reidel Pub. Co., c1977. -- (Synthese library ; v. 110). <BY00125013>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
目次・あらすじを見る
詳細情報を見る
このページのURL:
Advanced logic for applications
Richard E. Grandy. -- D. Reidel Pub. Co., c1977. -- (Synthese library ; v. 110). <BY00125013>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
目次・あらすじを見る
詳細情報を見る
このページのURL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
配架場所
請求記号
資料ID
状態
返却予定日
予約
0001
上ケ原館外書庫図書
108:51:110
0096823612
0件
No.
0001
巻号
配架場所
上ケ原館外書庫図書
請求記号
108:51:110
資料ID
0096823612
状態
返却予定日
予約
0件
このページのTOPへ
目次・あらすじ
このページのTOPへ
書誌詳細
標題および責任表示
Advanced logic for applications / Richard E. Grandy
出版事項
Dordrecht, Holland ; Boston : D. Reidel Pub. Co. , c1977
形態
xi, 167 p. : ill. ; 23 cm
シリーズ名等
Synthese library <BY02000036> v. 110//a
巻号情報
ISBN
9027707812
注記
Bibliography: p. [161]-162
注記
Includes indexes
NCID
BA04526443
本文言語
英語
著者標目
*Grandy, Richard E. <AU00211904>
分類標目
LCC:BC135
分類標目
DC:511/.3
分類標目
哲学・宗教 NDLC:H35
件名標目等
Logic, Symbolic and mathematical
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
Synthese library
著者からさがす
*Grandy, Richard E.
LCC:BC135
DC:511/.3
哲学・宗教 NDLC:H35
件名からさがす
Logic, Symbolic and mathematical
他の検索サイトで探す
Amazon
Google Books
WEB STORE
Knowledge Worker
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
他機関から取り寄せる※有料
文献複写申込み(コピー取り寄せ)
図書貸借申込み(現物取り寄せ)