Foundations of Mathematical Logic (Dover Books on Mathematics)

3,85 valoración promedio
( 13 valoraciones por 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Curry, Haskell B.
Editorial: Dover Publishers
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publishers. Estado de conservación: New. Brand New. Nº de ref. de la librería 0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 11,55
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,95
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Haskell B. Curry
Editorial: Dover Publications Inc., United States (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2010. Paperback. Estado de conservación: New. 2nd edition. Language: English . 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. Nº de ref. de la librería AAC9780486634623

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 17,08
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Curry, Haskell B.
Editorial: Dover Publications
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos PAPERBACK Cantidad: > 20
Librería
Mediaoutlet12345
(Springfield, VA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. PAPERBACK. Estado de conservación: New. 0486634620 *BRAND NEW* Ships Same Day or Next!. Nº de ref. de la librería NATARAJB1FI999601

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 14,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,37
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Curry, Haskell B.
Editorial: Dover Publications
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos PAPERBACK Cantidad: 1
Librería
Booklot COM LLC
(Philadelphia, PA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. PAPERBACK. Estado de conservación: New. 0486634620. Nº de ref. de la librería Z0486634620ZN

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 18,21
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Haskell B. Curry
Editorial: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2010. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 25,08
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: 5
Librería
firstbookstore
(New Delhi, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Nº de ref. de la librería AIND-130694

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 25,48
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: 2
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. US edition. Perfect condition. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-48890

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 25,74
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: 2
Librería
EBOOKSTORE2010
(New Delhi, ND, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Nº de ref. de la librería SHUB48890

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 25,79
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: 5
Librería
Romtrade Corp.
(STERLING HEIGHTS, MI, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Nº de ref. de la librería AUSBNEW-130694

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 27,73
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: 2
Librería
Basi6 International
(Irving, TX, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. New, US edition. Excellent Customer Service. Nº de ref. de la librería ABEUSA-48890

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 27,73
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda