Dover Books on Mathematics Ser.: Mathematical Logic : A First Course by Joel W. Robbin (2006, Perfect)

Rarewaves (643421)
98.2% positive feedback
Price:
US $21.53
ApproximatelyRM 91.41
+ $3.99 shipping
Estimated delivery Wed, 2 Jul - Tue, 8 Jul
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Brand New

About this product

Product Identifiers

PublisherDover Publications, Incorporated
ISBN-10048645018X
ISBN-139780486450186
eBay Product ID (ePID)27038259386

Product Key Features

Number of Pages238 Pages
Publication NameMathematical Logic : a First Course
LanguageEnglish
SubjectLogic
Publication Year2006
TypeTextbook
Subject AreaMathematics
AuthorJoel W. Robbin
SeriesDover Books on Mathematics Ser.
FormatPerfect

Dimensions

Item Height0.5 in
Item Weight10.2 Oz
Item Length8.5 in
Item Width5.5 in

Additional Product Features

Intended AudienceCollege Audience
LCCN2006-040215
Dewey Edition22
IllustratedYes
Dewey Decimal164
Table Of Content1. The Propositional Calculus 2. First-Order Logic 3. First-Order Recursive Arithmetic 4. Arithmetization of Syntax 5. The Incompleteness Theorems and Other Applications of the Liar Paradox 6. Second-Order Logic Appendix Answers to Selected Exercises Suggested Reading Index
SynopsisThis self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition., 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., 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. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
LC Classification NumberQA9.R68 2006
No ratings or reviews yet
Be the first to write a review