论文部分内容阅读
Is there a translation from intuitionistic logic into classical logic?
【机 构】
：
State University of Campinas-Brazil
【出 处】
：
第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)
【发表日期】
：
2007年期
其他文献
目的 探讨布地奈德、乙酰半胱氨酸雾化吸入同时对气管-支气管炎(急性)剧烈咳嗽症状治疗的临床效果.方法 选取本院门诊急性气管-支气管炎患者(伴剧烈咳嗽)60例,随机交叉分入对
本文通过对中职学校应对公共卫生事件方法展开全面、系统的分析,认为有效应对公共卫生事件处置工作是中职学校卫生工作当中的重要一环,是构建学校及社会和谐稳定的基础.从护
目的:分析老年人常速行走与双重任务行走步态特征及跌倒的关联性.方法:纳入2019 年1 月－2019 年12 月期间我院“医养结合”模式下签约的147 例养老老人展开研究,其中72 例存在
目的 研究纤维鼻咽镜同切割吸引器手术联合应用在腺样体肥大治疗中的效果.方法 本文筛选病例为我医院接收的腺样体肥大患者100例,将所有患者以随机数字表法分成对照组和观察