applied mathematical logic

应用数理逻辑,appl... ... ) symbolic logic 数理逻辑 ) applied mathematical logic 应用数理逻辑 ) application logic 应用逻辑 ...