哈姆特《逻辑语言与意义》-11-第一章绪论:1.6形式语言:自然语言→逻辑理论化→形式语言→式子;自然语言歧义;形式语言分为词汇和句法:词汇包括常项,变项和辅助
发布人