検索条件入力検索結果一覧:(本学所蔵) > Quantifiers : logics, models, and computation
書誌詳細
  

NCIDBA25996514
タイトルQuantifiers : logics, models, and computation / edited by Michał Krynicki, Marcin Mostowski and Lesław W. Szczerba
出版者Dordrecht ; Boston : Kluwer Academic Publishers , c1995
形態2 v. : ill. ; 23 cm
注記v. 1. Surveys -- v. 2. Contributions
Includes bibliographies and indexes
シリーズ名Synthese library ; v. 248-249
分類LCC:QA9.7
DC20:511.3
件名LCSH:Modeltheory
著者情報Krynicki, Michał
Mostowski, Marcin
Szczerba, L. W.
和洋区分
標題言語英語
本文言語英語
出版国オランダ
ISBN0792334507(set)
0792334485(v. 1)
0792334493(v. 2)
番号LCCN : 95008252
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1v. 10教養共5F英語410.9:Q:1973118400 研究室  
2v. 20教養共5F英語410.9:Q:2973118500 研究室  

選択行を: