A noted logician and philosopher addresses various forms of mathematical logic discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context and then focuses on the four principal domains of contemporary mathematical logic: set theory model theory recursion theory and constructivism and proof theory.Topics include the place of problems in the development of theories of lo...
€2,00