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

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

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 Poincaré''s vast activity in the mathematical sciences. ...

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 philoso...

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...

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

With logicism and formalism, intuitionism is one of the main foundations for mathematics propo...