Mathematical Logic (Dover Books on Mathematics)

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

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.

"Sinopsis" 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 (2002)
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, 2002. Hardback. Estado de conservación: New. Reprint. 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 13,67
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 10,53
Convertir moneda

Añadir al carrito

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

3.

Stephen Cole Kleene
Editorial: Dover Publications Inc., United States (2002)
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, 2002. Hardback. Estado de conservación: New. Reprint. 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,01
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 11,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,97
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 12,52
Convertir moneda

Añadir al carrito

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

6.

Kleene, Stephen Cole
Editorial: Dover Publications 12/18/2002 (2002)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Paperback or Softback Cantidad: 5
Librería
BargainBookStores
(Grand Rapids, MI, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications 12/18/2002, 2002. Paperback or Softback. Estado de conservación: New. Mathematical Logic. Book. Nº de ref. de la librería BBS-9780486425337

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

Comprar nuevo
EUR 16,85
Convertir moneda

Añadir al carrito

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

7.

Kleene, Stephen Cole
Editorial: Dover Publications
ISBN 10: 0486425339 ISBN 13: 9780486425337
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. 0486425339 *BRAND NEW* Ships Same Day or Next!. Nº de ref. de la librería NATARAJB1FI999748

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

Comprar nuevo
EUR 13,67
Convertir moneda

Añadir al carrito

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

8.

Stephen Cole Kleene
Editorial: Dover Publications (2002)
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Paperback Cantidad: > 20
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. Never used!. 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 15,52
Convertir moneda

Añadir al carrito

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

9.

Stephen Cole Kleene
Editorial: Dover Publications Inc., United States (2002)
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, 2002. Hardback. Estado de conservación: New. Reprint. 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 17,52
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

10.

Kleene Stephen Cole
Editorial: Dover Publications, Inc.
ISBN 10: 0486425339 ISBN 13: 9780486425337
Nuevos Cantidad: 3
Librería
Majestic Books
(London, ,, Reino Unido)
Valoración
[?]

Descripción Dover Publications, Inc. Estado de conservación: New. pp. 416. Nº de ref. de la librería 6876889

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

Comprar nuevo
EUR 11,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,16
De Reino Unido 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