"151" Result
Sort By:
In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particul…
In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particul…
In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particul…
Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open problems in almost all disciplines …
