Applied Nonstandard Analysis, Paperback/Martin Davis