Logic and Foundations Publications

• Bibliographies
• Journals

• Nonstandard Analysis from a Model-Theoretic Perspe  - Author endeavors to show that nonstandard analysis can be introduced clearly and concisely using Abraham Robinson's original model-theoretic approach.
• Proofs and Types  - By Jean-Yves Girard, Yves Lafont and Paul Taylor. Available in pdf, dvi, or postscript.