Popular Lectures on Mathematical Logic - Couverture rigide

Wang, Hao

 
9780442231095: 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

9780486676326: Popular Lectures on Mathematical Logic

Edition présentée

ISBN 10 :  0486676323 ISBN 13 :  9780486676326
Editeur : Dover Publications Inc., 2014
Couverture souple