EAN: 9783319247540

STUDIES IN UNIVERSAL LOGIC MODERN LOGIC 1850-...

This book presents diverse topics in mathematical logic such as proof theory  meta-mathematics
and applications of logic to mathematical structures. The collection spans the first 100 years
of modern logic and is dedicated to the memory of Irving Anellis  founder of the journal
'Modern Logic'  whose academic work was essential in promoting the algebraic tradition of logic
as represented by Charles Sanders Peirce. Anellis's association with the Russian logic
community introduced their school of logic to a wider audience in the USA  Canada and Western
Europe. In addition  the collection takes a historical perspective on proof theory and the
development of logic and mathematics in Eastern Logic  the Soviet Union and Russia. The book
will be of interest to historians and philosophers in logic and mathematics  and the more
specialized papers will also appeal to mathematicians and logicians.

Aktuelle Preise zur EAN 9783319247540

Produktinformationen zur 9783319247540