Télécharger le livre :  Modern Logic 1850-1950, East and West

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...
Editeur : Birkhäuser
Parution : 2016-05-26
Collection : Studies in Universal Logic
Format(s) : ePub
52,74

Téléchargement immédiat
Dès validation de votre commande