Book by Wang Hao
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Hao Wang (1921 95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Etat : Good. Good condition. Very Good dust jacket. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. N° de réf. du vendeur J08O-00011
Quantité disponible : 1 disponible(s)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_385962101
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Hardcover. Etat : Fair. No Jacket. Former library book; Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0442231091I5N11
Quantité disponible : 1 disponible(s)
Vendeur : About Books, Henderson, NV, Etats-Unis
Hardcover. Etat : Fine condition. Etat de la jaquette : Fine dust jacket. NOT a library discard (illustrateur). First Printing of the First Edition. New York: Van Nostrand Reinhold, 1981. NOT a library discard. Appear never read. Fine condition in a bright and shiny Fine dust jacket. NO chips, tears or creases. Sharp corners. Square and tight. NO owner's name or bookplate. NOT a library discard. NOT a remainder. Pages are crisp, clean and unmarked. NO underlining. NO highlighting. NO margin notes. Three appendicies. Index. Bound in the original gilt-stamped pale blue boards. Complete with dust jacket. From the publisher: "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.". First Printing of the First Edition. Hardcover. Fine condition/Fine dust jacket. Illus. by NOT a library discard. 8vo. xi, 273pp. Great Packaging, Fast Shipping. N° de réf. du vendeur 031584
Quantité disponible : 1 disponible(s)
Vendeur : Emile Kerssemakers ILAB, Heerlen, Pays-Bas
23.5 x 16 cm, hardcover with dust jacket, xii, 274 pages, Text in English, very good condition, see picture. 620g. N° de réf. du vendeur 81106
Quantité disponible : 1 disponible(s)
Vendeur : book-link, Nufringen, BW, Allemagne
hardcover. Etat : Sehr gut. 273 Seiten; *** Top Zustand! M25-07-R-24-VG Sprache: Deutsch Gewicht in Gramm: 1. N° de réf. du vendeur 35519
Quantité disponible : 1 disponible(s)