Popular Lectures on Mathematical Logic

Popular Lectures on Mathematical Logic

Author: Hao Wang

Publisher: Courier Corporation

Published: 2014-09-22

Total Pages: 290

ISBN-13: 0486171043

DOWNLOAD EBOOK

Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic's relation to computer science, and other subjects. 1981 edition, reissued by Dover in 1993 with a new Postscript by the author.


The Last Lecture

The Last Lecture

Author: Randy Pausch

Publisher:

Published: 2010

Total Pages: 0

ISBN-13: 9780340978504

DOWNLOAD EBOOK

The author, a computer science professor diagnosed with terminal cancer, explores his life, the lessons that he has learned, how he has worked to achieve his childhood dreams, and the effect of his diagnosis on him and his family.