Télécharger le livre :  Modern Logic 1850-1950, East and West
Ajouter à ma liste d'envies
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
ePub

52,74