A SURVEY OF MATHEMATICAL LOGIC by WANG, Hao

A SURVEY OF MATHEMATICAL LOGIC

Peking / Amsterdam: Science Press / North-Holland, 1964. Second printing (first in 1962). Dark blue cloth lettered in red. pp (xii), 651. Page edges yellowed, small worn spot to front joint, else a VG+ clean and unworn jacketless copy, no owner marks. Wang was an important Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel. Part two is devoted to calculating machines. Mr. Wang's early mathematical achievements contributed to advances in computer science in the 1950s. While working for IBM, he discovered a faster way to prove certain kinds of logical truths by using computers. 1.5 kg parcel

Condition: Binding: Hardcover

Book ID: 52068
Print this page View cart Price: USD $95.00 USD $85.50