Media type: Book Title: Lincos : design of a language for cosmic intercourse Contributor: Freudenthal, Hans [Author] imprint: Amsterdam: North-Holland Publ., 1960- Published in: Studies in logic and the foundations of mathematics ; . Language: English RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Keywords: Sprache > Logik Origination: Footnote: