عنوان

Foundations of mathematical logic /

شابک

0486634620

شابک

9780486634623

شماره

dltt

عنوان اصلي

Foundations of mathematical logic /

نام عام مواد

[Book]

نام نخستين پديدآور

Haskell B. Curry.

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Dover Publications,

تاریخ نشرو بخش و غیره

1977.

نام خاص و کميت اثر

viii, 408 p. :

ساير جزييات

ill. ;

ابعاد

21 cm.

متن يادداشت

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

متن يادداشت

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

متن يادداشت

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

بدون عنوان

0

متن يادداشت

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

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

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

تاريخ عمليات

20140213101429.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y