Popular Lectures on Mathematical Logic - Couverture souple

Wang, Hao

 
9780486676326: Popular Lectures on Mathematical Logic

Synopsis

Book by Wang Hao

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780442231095: Popular Lectures on Mathematical Logic

Edition présentée

ISBN 10 :  0442231091 ISBN 13 :  9780442231095
Editeur : Van Nostrand Reinhold Company, 1981
Couverture rigide