＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- The Rand Daily Mail
- theranostic polymer
- theranostics
- The Rape of the Sabine Women
- therapeutic cloning
- therapeutic drug monitoring
- therapeutic electric apparatus
- therapeutic exercise
- therapeutic index
- therapeutic landscapes
- therapeutic listening
- the rapeutic mineral water
- therapeutic places
- therapeutic qigong
- therapeutic radiology
- therapeutic radionuclide
- therapeutic reminiscence
- therapeutic study
- therapeutic ultrasound
- therapeutic vaccines
- therapeutic window
- therapsids
- therapy and medicine characteristics of pediatrics
- therapy and rehabilitation devices
- therapy dose