Artículos relacionados a Popular Lectures on Mathematical Logic (Dover Books...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Hao Wang (1921–95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.
De la 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 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.
Resultados de la búsqueda para Popular Lectures on Mathematical Logic (Dover Books...
Imagen del vendedor
Popular Lectures on Mathematical Logic (Dover Books on Mathematics)
Publicado por
Dover Publications, 1993
ISBN 10: 0486676323
ISBN 13: 9780486676326
Antiguo o usado
Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Nº de ref. del artículo: OTV.0486676323.G
Comprar usado
EUR 15,62
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Popular Lectures on Mathematical Logic
Publicado por
Dover Publications, 1993
ISBN 10: 0486676323
ISBN 13: 9780486676326
Antiguo o usado
Paperback
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0486676323I5N00
Comprar usado
EUR 16,38
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Popular Lectures on Mathematical Logic (Dover Books on Mathematics)
Publicado por
Dover Publications, 1993
ISBN 10: 0486676323
ISBN 13: 9780486676326
Antiguo o usado
Tapa blanda
Librería: 3Brothers Bookstore, Egg harbor township, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: very_good. Cover may have light wear, pages in very good condition and binding is sturdy; may have other light shelf wear or creases. May have notes or highlighting. Nº de ref. del artículo: EVV.0486676323.VG
Comprar usado
EUR 16,76
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Popular Lectures on Mathematical Logic
Publicado por
Dover Publications, 2014
ISBN 10: 0486676323
ISBN 13: 9780486676326
Antiguo o usado
Softcover
Librería: Skoob-ebooks, Pontiac, QC, Canada
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Good. Average wear. The pages are clean with no highlighting or writing detected. The cover is clean and intact but has some edge wear including curled and/or scuffed corners. Ships from Canada. Satisfaction guaranteed with 30-day returns.; 5.5 X 0.75 X 8.5 inches; 288 pages; R0 2.1m/18m s0. Nº de ref. del artículo: 14691
Comprar usado
EUR 21,26
Envío por EUR 11,64
Se envía de Canada a Estados Unidos de America
Se envía de Canada a Estados Unidos de America
Cantidad disponible: 1 disponibles