Lincos : design of a language for cosmic intercourse. - Freudenthal, Hans, 1905-1990 (Studies in Logic and the Foundations of Mathematics, 1960)