Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and...

This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous Bo...

This book presents comparisons of recent accounts in the formalization of natural language (dynam...

In the last century developments in mathematics, philosophy, physics, computer science, econom...

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosophe...

Indispensable for understanding Henri Poincare's vast activity in the mathematical sciences. Prov...

This book challenges the views put forward by Pierre Cartier, one of the anchors of the famous...

This book presents comparisons of recent accounts in the formalization of natural language (dy...

In the last century developments in mathematics, philosophy, physics, computer science, econom...

In the last century developments in mathematics, philosophy, physics, computer science, econom...

Indispensable for understanding Henri Poincaré's vast activity in the mathematical sciences. P...

The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July ...