TY - BOOK AU - Freudenthal Hans TI - Lincos : design of a language for cosmic intercourse U1 - 511.3 PY - 1960/// CY - Amsterdam PB - North-Holland KW - Cosmic intercourse KW - Mathematical logic ER -