Foundations of Mathematical Logic (Dover Books on Mathematics)

Valutazione media 3,85
( su 13 valutazioni fornite da Goodreads )
 
9780486634623: Foundations of Mathematical Logic (Dover Books on Mathematics)

This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic.
Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space."
The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. 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 that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included.
Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Haskell B. Curry
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. 2nd edition. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as -the analysis and criticism of thought- (W. E. Johnson), then mathematical logic is, according to Curry, -a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space.- The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. 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 that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives. Codice libro della libreria BTE9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

2.

Curry, Haskell B.
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2010. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,56
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 12,75
Da: U.S.A. a: Italia
Destinazione, tempi e costi

3.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: 5
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-130694

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi

4.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: 2
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-48211

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,34
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi

5.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: 2
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB48211

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi

6.

Curry, Haskell B.
Editore: Dover Publishers
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 11,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 15,30
Da: U.S.A. a: Italia
Destinazione, tempi e costi

7.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: 5
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-130694

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,34
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

8.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: 2
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New, US edition. Excellent Customer Service. Codice libro della libreria ABEUSA-48211

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

9.

Haskell B. Curry
Editore: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. 2 Revised. Codice libro della libreria DADAX0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,90
Da: U.S.A. a: Italia
Destinazione, tempi e costi

10.

Curry, Haskell B.
Editore: Dover Publications
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi PAPERBACK Quantità: > 20
Da
Mediaoutlet12345
(Springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486634620 *BRAND NEW* Ships Same Day or Next!. Codice libro della libreria NATARAJB1FI999601

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 13,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 25,50
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro