✦ LIBER ✦

Developments in Constructive Nonstandard Analysis

✍ Scribed by Erik Palmgren

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nonstandard Analysis. Recent Development

✍ A.E. Hurd 📂 Library 📅 1983 🏛 Springer 🌐 English ⚖ 1009 KB

Investigation of Relaxation Oscillations

✍ A. V. Borovskikh 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 141 KB

Investigation of Relaxation Oscillations

✍ A. V. Borovskikh 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 194 KB

Nonstandard Analysis in Topology: Nonsta

✍ S. Salbany and Todor Todorov 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 160 KB

Relationship between the classical and c

✍ M. G. Gel'fond 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 415 KB

Nonstandard Analysis in ACL2

✍ Ruben A. Gamboa; Matt Kaufmann 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 168 KB