Knygos.lt nariams
Knygos.lt nariams
- Išsiųsime per 12–18 d.d.
/images/books/3603148/9780486450186.jpg)
- Autorius: Joel W Robbin
- Leidėjas: Dover Publications
- ISBN-10: 048645018X
- ISBN-13: 9780486450186
- Formatas: 14 x 21.6 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
Atsiliepimai
Aprašymas
Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.
- Autorius: Joel W Robbin
- Leidėjas: Dover Publications
- ISBN-10: 048645018X
- ISBN-13: 9780486450186
- Formatas: 14 x 21.6 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.
Atsiliepimai