Quantificational logic
- 作者Paul C. Gilmore
- 卷第3卷
- 期第2期
- 印刷ISSN0019-9958
- 文件大小453.41KB
- 发表时间1960
- DOI10.1016/s0019-9958(60)90783-x
- 页码197-203
同期刊推荐
Trifluoromethylthiolation of DiazoestersSynfacts · 2014
Cyclopropanation of Norbornene Derivatives with Benzyl BromidesSynfacts · 2014
Synthesis of SuvorexantSynfacts · 2012
Synthesis of EfinaconazoleSynfacts · 2014
Total Synthesis of (−)-GephyrotoxinSynfacts · 2014
Synthesis of AxitinibSinger, R. · Synfacts · 2014
Synthesis of (+)-MinfiensineDounay, A.; Humphreys, P.; Overman, L.; Wrobleski, A. · Synfacts · 2008
Formal Synthesis of (-)-PlatensimycinKim, C.; Jang, K.; Choi, S.; Chung, Y.; Lee, E. · Synfacts · 2008