Mathematical Logic (Dover Books on Mathematics)

4,31 valoración promedio
( 35 valoraciones por Goodreads )
 
9780486425337: Mathematical Logic (Dover Books on Mathematics)

Book by Kleene Stephen Cole

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

Reseña del editor:

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

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

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Stephen Cole Kleene
Editorial: Dover Publications Inc., United States (2003)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2003. Hardback. Estado de conservación: New. Reprint. 211 x 135 mm. Language: English . Brand New Book. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel s completeness theorem, Gentzen s theorem, Skolem s paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. Nº de ref. de la librería AA99780486425337

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

Comprar nuevo
EUR 14,43
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

2.

Kleene, Stephen Cole
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2002. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería V0-9780486425337

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

Comprar nuevo
EUR 11,53
Convertir moneda

Añadir al carrito

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

3.

Stephen Cole Kleene
Editorial: Dover Publications Inc., United States (2003)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2003. Hardback. Estado de conservación: New. Reprint. 211 x 135 mm. Language: English . Brand New Book. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel s completeness theorem, Gentzen s theorem, Skolem s paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. Nº de ref. de la librería AA99780486425337

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

Comprar nuevo
EUR 15,19
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

4.

Kleene, Stephen Cole
Editorial: Dover Publishers
ISBN 10: 0486425339 ISBN 13: 9780486425337
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 0486425339

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

Comprar nuevo
EUR 12,24
Convertir moneda

Añadir al carrito

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

5.

Kleene, Stephen Cole
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Cantidad: > 20
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2002. PAP. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780486425337

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

Comprar nuevo
EUR 13,84
Convertir moneda

Añadir al carrito

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

6.

Kleene, Stephen Cole
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Paperback Cantidad: > 20
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. Nº de ref. de la librería 971195

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

Comprar nuevo
EUR 14,18
Convertir moneda

Añadir al carrito

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

7.

Stephen Cole Kleene
Editorial: Dover Publications Inc.
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Tapa dura Cantidad: > 20
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc. Hardback. Estado de conservación: new. BRAND NEW, Mathematical Logic, Stephen Cole Kleene. Nº de ref. de la librería B9780486425337

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

Comprar nuevo
EUR 11,10
Convertir moneda

Añadir al carrito

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

8.

Stephen Cole Kleene
Editorial: Dover Publications Inc., United States (2003)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Tapa dura Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2003. Hardback. Estado de conservación: New. Reprint. 211 x 135 mm. 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. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel s completeness theorem, Gentzen s theorem, Skolem s paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. Nº de ref. de la librería BTE9780486425337

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

Comprar nuevo
EUR 18,74
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

9.

Stephen Cole Kleene
Editorial: Dover Publications Inc. 2003-03-28 (2003)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Cantidad: 4
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc. 2003-03-28, 2003. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-ING-00307808

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

Comprar nuevo
EUR 15,54
Convertir moneda

Añadir al carrito

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

10.

Stephen Cole Kleene
Editorial: Dover Publications (2002)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Paperback Cantidad: 10
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 16,48
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,67
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