|
" Foundations of mathematical logic / "
Haskell B. Curry.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
630187
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Curry, Haskell B., (Haskell Brooks),1900-1982.
|
| Title & Author
|
:
|
Foundations of mathematical logic /\ Haskell B. Curry.
|
| Publication Statement
|
:
|
New York :: Dover Publications,, 1977.
|
| Page. NO
|
:
|
viii, 408 p. :: ill. ;; 21 cm.
|
| ISBN
|
:
|
0486634620
|
|
|
:
|
: 9780486634623
|
| Notes
|
:
|
"An unabridged and corrected republication of the work first published by the McGraw-Hill Book Company, inc., in 1963."
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 369-390) and index.
|
| Contents
|
:
|
Formal systems -- Epitheory -- Relational logical algebra -- The theory of implication -- Negation -- Quantification -- Modality.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
QA9.C85 1977
|
| |