The Institute of Applied Logic of St Thomas College w St. Paul (MN)