webcat_plusで詳細を確認

このページのリンク

<図書>
Propositional calculus, Boolean algebras, predicate calculus / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
(Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier ; pt. 1)

出版者 New York : Oxford University Press
出版年 2000
巻冊次 : hbk ; ISBN:0198500491 REFWLINK
: pbk ; ISBN:0198500483 REFWLINK
ISBN 0198500491
本文言語 英語
大きさ xix, 338 p. ; 24 cm
目次/あらすじ

書誌詳細を表示

一般注記 Includes bibliographical references and index
著者標目  *Cori, René
 Lascar, D. (Daniel), 1942-
分 類 LCC:QA9
DC21:511.3
件 名 LCSH:Logic, Symbolic and mathematical
書誌ID 1020207764
NCID BA49487763 WCLINK

所蔵情報を非表示

資:経営資料室
IK/25 92600210831231
禁帯出

 類似資料