Modern Logic 1850-1950, East and West

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Modern Logic 1850-1950, East and West by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319247564
Publisher: Springer International Publishing Publication: May 26, 2016
Imprint: Birkhäuser Language: English
Author:
ISBN: 9783319247564
Publisher: Springer International Publishing
Publication: May 26, 2016
Imprint: Birkhäuser
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Human Aspects of IT for the Aged Population. Applications, Services and Contexts by
Cover of the book Minimally Processed Foods by
Cover of the book Robotic Welding, Intelligence and Automation by
Cover of the book Geospatial Technologies in Geography Education by
Cover of the book Mechanism and Theory in Food Chemistry, Second Edition by
Cover of the book Der Realismus im logischen Empirismus by
Cover of the book Fairy Tales and Fables from Weimar Days by
Cover of the book Universal Access in Human-Computer Interaction. Interaction Techniques and Environments by
Cover of the book Phytoremediation by
Cover of the book Computational Problems in Engineering by
Cover of the book Road Vehicle Automation by
Cover of the book Fundamentals and Applications of Hardcopy Communication by
Cover of the book Algorithmic Advances in Riemannian Geometry and Applications by
Cover of the book Cardiac Sarcoidosis by
Cover of the book Free Fatty Acid Receptors by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy