TY - BOOK AU - Paun, Gheorghe, AU - TI - Mathematical aspects of natural and formal languages U1 - 511.3 PAU-M PY - 1994/// CY - World Scientific, Singapore KW - Mathematical logic-- Mathematics ER -