"Sinopsis" puede pertenecer a otra edición de este libro.
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.
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.
Gastos de envío:
EUR 3,76
A Estados Unidos de America
Descripción Paperback. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0486676323
Descripción Condición: New. Book is in NEW condition. Nº de ref. del artículo: 0486676323-2-1
Descripción Condición: new. Nº de ref. del artículo: FrontCover0486676323
Descripción Paperback. Condición: new. New. Nº de ref. del artículo: Wizard0486676323
Descripción Paperback. Condición: new. Buy for Great customer experience. Nº de ref. del artículo: GoldenDragon0486676323
Descripción Paperback. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: think0486676323
Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 0.65. Nº de ref. del artículo: Q-0486676323
Descripción Paperback. Condición: New. Brand New!. Nº de ref. del artículo: VIB0486676323