検索条件入力検索結果一覧:(本学所蔵) > Propositional calculus, Boolean algebras, predicate calculus
書誌詳細
  

NCIDBA49487763
タイトルPropositional calculus, Boolean algebras, predicate calculus / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
出版者New York : Oxford University Press , 2000
形態xix, 338 p. ; 24 cm
注記Includes bibliographical references and index
シリーズ名Mathematical logic : a course with exercises ; pt. 1
分類LCC:QA9
DC21:511.3
件名LCSH:Logic,Symbolicandmathematical
著者情報Cori, René
Lascar, D. (Daniel), 1942-
和洋区分
標題言語英語
本文言語英語
原作言語フランス語
出版国アメリカ合衆国
ISBN0198500491(: hbk)
0198500483(: pbk)
番号LCCN : 00056525
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1: pbk0教養共4F哲学410.9:C:1028006913 研究室  

選択行を: