Popular Lectures on Mathematical Logic - Couverture souple

Wang, Hao

Couverture souple

ISBN 10 : 0486676323 ISBN 13 : 9780486676326

Editeur : Dover Publications Inc., 2014

Synopsis

Book by Wang Hao

A propos du livre

Présentation de l'éditeur

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.

Biographie de l'auteur

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

Détails de l'édition

• Éditeur: Dover Publications Inc.
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 0486676323
• ISBN 13: 9780486676326
• Reliure: Broché
• Nombre de pages: 292
• Coordonnées du fabricant: non disponible
• Personne responsable: Soc. Agr. La Raia Ss; http://www.la-raia.it; ; Strada Monterotondo, 79; Novi Ligure; 15067; Italie