Details

Subject(s)

• Logic, Symbolic and mathematical [Browse]

Series

McGraw-Hill series in higher mathematics. [More in this series]

Medium/​Support

8vo. rdabf

Summary note

A comprehensive account of the constructive theory of the first-order predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.--From publisher description.

Bibliographic references

Includes bibliography.

Action note

Committed to retain in perpetuity — ReCAP Shared Collection (HUL)

Contents

• Formal systems
• Epitheory
• Relational logical algebra
• The theory of implication
• Negation
• Quantification
• Modality

Show 4 more Contents items

LCCN

^^^61017746^/L/r84

OCLC

526475

RCP

H - S

Statement on responsible collection description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...