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)

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 Gödel'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.

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

About the Author:

Hao Wang (1921–95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.

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

Los mejores resultados en AbeBooks

1.

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 8,21
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

2.

Hao Wang
Editorial: Dover Publications
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 8
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. Paperback. Estado de conservación: New. Paperback. 281 pages. Dimensions: 8.3in. x 5.4in. x 0.6in.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 logics relation to computer science. Specific attention is given to Gdels incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantors continuum hypothesis, proof theory and Hilberts 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. 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 11,67
Convertir moneda

Añadir al carrito

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

3.

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. 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 AAW9780486676326

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

Comprar nuevo
EUR 11,68
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.

Wang, Hao
Editorial: Dover Pubns, Mineola, New York, U.S.A. (1993)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Soft cover Cantidad: 1
Librería
Renaissance Books
(Riverside, CA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Pubns, Mineola, New York, U.S.A., 1993. Soft cover. Estado de conservación: New. No Jacket. Re-issue. After a survey of the history and development of mathematical logic, the author turns to the four domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism and proof theory. Includes 42 illustrations, Index. Unabridged, enlarged Dover publication of book first published in 1981 by Van Nostrand Reinhold and Science Press, Beijing. Nº de ref. de la librería 015483

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

Comprar nuevo
EUR 9,56
Convertir moneda

Añadir al carrito

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

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

Comprar nuevo
EUR 16,02
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 (1993)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 16,91
Convertir moneda

Añadir al carrito

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

7.

Hao Wang
Editorial: Dover Publications (1993)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

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

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

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

Wang, Hao
Editorial: Dover Pubns (1993)
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos Paperback Cantidad: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Dover Pubns, 1993. Paperback. Estado de conservación: Brand New. reprint edition. 281 pages. 8.50x5.50x0.75 inches. In Stock. Nº de ref. de la librería xr0486676323

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

Comprar nuevo
EUR 12,85
Convertir moneda

Añadir al carrito

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

9.

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. Never used!. Nº de ref. de la librería P110486676323

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

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

10.

Wang, Hao
Editorial: Dover Publications
ISBN 10: 0486676323 ISBN 13: 9780486676326
Nuevos PAPERBACK Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. PAPERBACK. Estado de conservación: New. 0486676323 New Condition. Nº de ref. de la librería NEW7.0193223

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

Comprar nuevo
EUR 52,39
Convertir moneda

Añadir al carrito

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