At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical lo

In this small text the basic theory of the continuum, including the elements of metric space theory and continuity is developed within the system of intuitionis

This book is the proceedings of Falk Symposium 128, held in Würzburg, Germany, on May 2-3, 2002, and dedicated to the important issue of colonic carcinogenesis

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COV

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2