青山学院大学図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス MyLibrary（利用者サービス）▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼
    • オリエンテーション予約（教員）
    • オンライン施設予約

青山学院大学図書館

検索結果一覧へ戻る

Language proof and logic

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu ; : pbk, CD. -- CSLI Publications, 2002. <BB01158348>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

Language proof and logic

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu ; : pbk, CD. -- CSLI Publications, 2002. <BB01158348>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～2件（全2件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 予約 WEB書棚
0001 : pbk 青総文政研 青総文政研 160||B16-1 001017686 0件
0002 CD 青総文政研 青総文政研 160||B16-1||FUROKU 611000237 禁帯出 0件
No. 0001
巻号 : pbk
所蔵館 青総文政研
配置場所 青総文政研
請求記号 160||B16-1
資料ID 001017686
状態
コメント
予約 0件
WEB書棚
No. 0002
巻号 CD
所蔵館 青総文政研
配置場所 青総文政研
請求記号 160||B16-1||FUROKU
資料ID 611000237
状態 禁帯出
コメント
予約 0件
WEB書棚
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
出版・頒布事項 Stanford, Calif. : CSLI Publications , c2002
形態事項 xi, 587 p. : ill. ; 24 cm. + 1 compact disc
巻号情報
巻次等 : pbk
ISBN 9781575863740
XISBN 157586374X
巻号情報
巻次等 CD
その他の標題 背表紙タイトル:Language proof & logic
注記 Accompanied by leaflet "LPL software manual" (52 p. ; 22 cm.)
注記 Leaflet of later printing, c2009, slightly changed "Language, proof and logic software manual / Gerald Allwein, ... [et al.]" (56 p. ; 22 cm.)
注記 "Text/Software Package"--Cover
注記 CD Version 1.3 (c2002), version 2.7(c2008)
NCID BA58284428
本文言語コード 英語
著者標目リンク *Barwise, Jon <AU40093739>
著者標目リンク Etchemendy, John, 1952- <AU40093648>
著者標目リンク Allwein, Gerard, 1956- <AU50035791>
著者標目リンク Barker-Plummer, Dave <AU50035792>
著者標目リンク Liu, Albert, 1966- <AU60019794>
分類標目 LCC:BC61
分類標目 DC21:160
件名標目等 Logic
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    この書誌のQRコード