Mathematical logic / Ian Chiswell and Wilfrid Hodges
(Oxford texts in logic ; 3)
データ種別 | 電子ブック |
---|---|
出版情報 | London ; New York : Oxford University Press , 2007 |
本文言語 | 英語 |
大きさ | 1 online resource (viii, 250 pages) : illustrations |
書誌詳細を非表示
内容注記 | 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index |
---|---|
一般注記 | Includes index Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s |
著者標目 | *Chiswell, Ian, 1948- Hodges, Wilfrid |
件 名 | LCSH:Logic, Symbolic and mathematical FREE:Logic, Symbolic and mathematical FREE:MATHEMATICS -- Infinity 全ての件名で検索 FREE:MATHEMATICS -- Logic 全ての件名で検索 FREE:Logic, Symbolic and mathematical FREE:Electronic books FREE:Electronic books |
分 類 | DC22:511.3 |
巻冊次 | ISBN:9780191524806 ISBN:0191524808 ISBN:0199215626 ISBN:9780199215621 ISBN:0198571003 ISBN:9780198571001 |
ISBN | 9780191524806 |
URL | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 |
目次/あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2021年9月12日以降