Popular Lectures on Mathematical Logic |
|
Author:
| Wang, Hao |
Series title: | Dover Books on Mathematics Ser. |
ISBN: | 978-0-486-67632-6 |
Publication Date: | Nov 2014 |
Publisher: | Dover Publications, Incorporated
|
Book Format: | Paperback |
List Price: | USD $10.95 |
Book Description:
|
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.
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.