図書書誌情報

図書書誌情報

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


書誌番号

0000130636 

言語

eng : 英語 

NACSIS ID

BA58284428 

和洋区分

洋資料 

書名

Language proof and logic 

その他タイトル

背表紙タイトル||Language proof & logic

著者名

Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu 

出版事項

Stanford, Calif. : CSLI Publications, c2002

形態

xi, 587 p. ; 24 cm

分類

米国議会図書館分類表 : BC61
DC21版 : 160

巻冊次表示

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

著者名標目

Barwise, Jon DA00049826
Etchemendy, John, 1952- DA02109066
Allwein, Gerard, 1956- DA12568707
Barker-Plummer, Dave DA15617478
Liu, Albert, 1966- 

件名

[普通件名] : Logic 

注記

"Text/Software Package"
Accompanied by leaflet "LPL software manual" (52 p. ; 22 cm)
CD Version 1.3

PAGETOP

所蔵情報

書誌情報を見る

巻書名所蔵ID配架場所請求記号ステータス返却予定日予約数
: pbk111492831図書館会議室
  116  
B25
貸出可能
0

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

PAGETOP