<図書>
An introduction to formal logic
責任表示 | Peter Smith |
---|---|
データ種別 | 図書 |
出版者 | Cambridge : Cambridge University Press |
出版年 | 2003 |
本文言語 | 英語 |
大きさ | viii, 357 p. : ill. ; 25 cm |
概要 | Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the...easily comprehensible "tree" method. His commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic. 続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
: pbk | 中央図 自動書庫 | 116.1/Sm 5 | 2003 |
|
058212006013423 |
|
書誌詳細
一般注記 | Includes bibliographical references (p. 348-351) and index |
---|---|
著者標目 | *Smith, Peter, 1944- |
件 名 | LCSH:Logic |
分 類 | LCC:BC71 DC21:160 |
書誌ID | 1001272380 |
ISBN | 0521810337 |
NCID | BA70797217 |
巻冊次 | : hbk ; ISBN:0521810337 : pbk ; ISBN:0521008042 |
登録日 | 2009.09.18 |
更新日 | 2009.09.18 |