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. |
| Резюме: |
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. |
|---|---|
| Описание на библ. документ: |
Includes index. |
| Физически характеристики: |
1 online resource (viii, 250 pages) : illustrations. |
| ISBN: |
9780191524806 0191524808 0199215626 9780199215621 0198571003 9780198571001 |