عنوان

Foundations of mathematical logic /

(Number (ISBN

0486634620

(Number (ISBN

9780486634623

Number

dltt

Title Proper

Foundations of mathematical logic /

General Material Designation

[Book]

First Statement of Responsibility

Haskell B. Curry.

Place of Publication, Distribution, etc.

New York :

Name of Publisher, Distributor, etc.

Dover Publications,

Date of Publication, Distribution, etc.

1977.

Specific Material Designation and Extent of Item

viii, 408 p. :

Other Physical Details

ill. ;

Dimensions

21 cm.

Text of Note

"An unabridged and corrected republication of the work first published by the McGraw-Hill Book Company, inc., in 1963."

Text of Note

Includes bibliographical references (p. 369-390) and index.

Text of Note

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

0

Text of 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.

Logic, Symbolic and mathematical.

s1py

Class number

Book number

Curry, Haskell B., (Haskell Brooks),1900-1982.

Date of Transaction

20140213101429.0

Electronic name

[Book]

Y