Introduction To Mathematical Logic; Part II Of Elementary Concepts Of Modern Mathematics
Condition: SECONDHAND
This is a secondhand book. The jacket image is a photograph of the exact copy we have in stock. This image shows the condition of this book. Further condition remarks are below.
Author: Flora Dinkines
Binding: Paperback
Published: Prentice-Hall, Inc., 1964
Condition:
Book: Good
Jacket: No dust jacket
Pages: Tanning and foxing
Markings: No markings
Condition remarks: Condition as shown in image. Light foxing on page edges.
This academic text, "Introduction to Mathematical Logic," presents a rigorous and comprehensive foundation in the principles of formal logic. It systematically introduces propositional calculus, predicate calculus, and axiomatic set theory, guiding readers through the construction of formal systems and the exploration of their properties. The work details key concepts such as completeness, compactness, and the groundbreaking incompleteness theorems of Gödel, making it an indispensable resource for students and researchers in mathematics, computer science, and philosophy seeking a deep understanding of the logical underpinnings of these disciplines.
Author: Flora Dinkines
Binding: Paperback
Published: Prentice-Hall, Inc., 1964
Condition:
Book: Good
Jacket: No dust jacket
Pages: Tanning and foxing
Markings: No markings
Condition remarks: Condition as shown in image. Light foxing on page edges.
This academic text, "Introduction to Mathematical Logic," presents a rigorous and comprehensive foundation in the principles of formal logic. It systematically introduces propositional calculus, predicate calculus, and axiomatic set theory, guiding readers through the construction of formal systems and the exploration of their properties. The work details key concepts such as completeness, compactness, and the groundbreaking incompleteness theorems of Gödel, making it an indispensable resource for students and researchers in mathematics, computer science, and philosophy seeking a deep understanding of the logical underpinnings of these disciplines.