At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hop…
"This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computati…
Structure of liquids
by Schuster, Peter, Marius, Wolfgang, Jakubetz, Werner
fromTopics in current chemistry
Structure of liquids
by Rice, Stuart Alan, Schuster, Peter
fromTopics in current chemistry
