Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

4,67 valoración promedio
( 3 valoraciones por Goodreads )
 
9780486676326: Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

Book by Wang Hao

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

Reseña del editor:

Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic's relationship to computer science, more. Includes 3 appendixes. Bibliography. 1981 edition.

Contraportada:

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
Dover (2014) republication of the edition published by Van Nostrand Reinhold, New York, in 1981, and reissued by Dover in 1993 with a new Postscript by the author.
See every Dover book in print at
www.doverpublications.com

"

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

Los mejores resultados en AbeBooks

1.

Wang, Hao
Editorial: Dover Pubns (2014)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Pubns, 2014. 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-9780486676326

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

Comprar nuevo
EUR 5,01
Convertir moneda

Añadir al carrito

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

2.

Wang, Hao
Editorial: Dover Publishers
ISBN 10: 0486676323 ISBN 13: 9780486676326
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 0486676323

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

Comprar nuevo
EUR 5,48
Convertir moneda

Añadir al carrito

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

3.

Wang, Hao
Editorial: Dover Pubns (2014)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Cantidad: 3
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Pubns, 2014. 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-9780486676326

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

Comprar nuevo
EUR 5,56
Convertir moneda

Añadir al carrito

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

4.

Wang, Hao
Editorial: Dover Publications (1993)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 6,49
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

5.

Hao Wang
Editorial: Dover Publications Inc., United States (2014)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2014. Paperback. Estado de conservación: New. New edition. 211 x 137 mm. Language: English . Brand New Book. A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the place of problems in the development of theories of logic and logic s relation to computer science. Specific attention is given to Godel s incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor s continuum hypothesis, proof theory and Hilbert s program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text. Nº de ref. de la librería AAC9780486676326

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

Comprar nuevo
EUR 9,27
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

6.

Hao Wang
Editorial: Dover Publications Inc., United States (2014)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2014. Paperback. Estado de conservación: New. New edition. 211 x 137 mm. Language: English . Brand New Book. A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the place of problems in the development of theories of logic and logic s relation to computer science. Specific attention is given to Godel s incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor s continuum hypothesis, proof theory and Hilbert s program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text. Nº de ref. de la librería AAC9780486676326

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

Comprar nuevo
EUR 9,31
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

7.

Hao Wang
Editorial: Dover Publications Inc., United States (2014)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2014. Paperback. Estado de conservación: New. New edition. 211 x 137 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. A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the place of problems in the development of theories of logic and logic s relation to computer science. Specific attention is given to Godel s incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor s continuum hypothesis, proof theory and Hilbert s program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text. Nº de ref. de la librería BTE9780486676326

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

Comprar nuevo
EUR 9,64
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

8.

Wang, Hao
Editorial: Dover Publications
ISBN 10: 0486676323 ISBN 13: 9780486676326
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. 0486676323 *BRAND NEW* Ships Same Day or Next!. Nº de ref. de la librería NATARAJB1FI998036

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

Comprar nuevo
EUR 7,31
Convertir moneda

Añadir al carrito

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

9.

Wang, Hao
Editorial: Dover Publications
ISBN 10: 0486676323 ISBN 13: 9780486676326
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. 0486676323. Nº de ref. de la librería Z0486676323ZN

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

Comprar nuevo
EUR 11,87
Convertir moneda

Añadir al carrito

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

10.

Hao Wang
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 1
Librería
Grand Eagle Retail
(Wilmington, DE, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. 137mm x 216mm x 15mm. Paperback. Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 292 pages. 0.310. Nº de ref. de la librería 9780486676326

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

Comprar nuevo
EUR 12,06
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