Herbert R. Otto

• Linguistic Basis of Logic Translation