Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interd

Mathematics as a Cultural System discusses the relationship between mathematics and culture. The book is comprised of eight chapters discussing topics that supp

1. This book is above all addressed to mathematicians. It is intended to be a textbook of mathematical logic on a sophisticated level, presenting the reader wit