Hidden Bibliographic Details
| Other authors / contributors: | Hodges, Wilfrid.
|
|---|
| ISBN: | 9780191524806
0191524808
0199215626
9780199215621
0198571003
9780198571001
9781429492669
142949266X
9786611160425
6611160426
1281160423
9781281160423
|
|---|
| Notes: | Includes index.
Print version record.
|
|---|
| Summary: | 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.
|
|---|
| Other form: | Print version: Chiswell, Ian, 1948- Mathematical logic. London ; New York : Oxford University Press, 2007 9780199215621 0199215626
|
|---|
