Mathematical 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. - ;Assuming no previous study in logic, this informal yet...
Основен автор: | Chiswell, Ian, 1948- |
---|---|
Други автори: | Hodges, Wilfrid. |
Формат: | Електронна книга |
Език: | English |
Публикувано: |
London ; New York :
Oxford University Press,
2007.
|
Серия: |
Oxford texts in logic ;
3. |
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 |
Подобни документи: |
Print version::
Mathematical logic. |
Съдържание:
- 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.