Vorapaxar in Atherosclerotic Disease Management
- 期刊名称Annals of Pharmacotherapy
- 作者Cheng, J. W. M.; Colucci, V.; Howard, P. A.; Nappi, J. M.; Spinler, S. A.
- 卷第49卷
- 期第5期
- 印刷ISSN1060-0280
- 电子ISSN1542-6270
- 文件大小293.10KB
- 发表时间2015-05-01
- DOI10.1177/1060028015571410
- 页码599-606
Notation Systems for Infinitary Derivationsby Wilfried Buchholz;Explaining Gentzen's Consistency Proof within Infinitary Proof Theoryby Wilfried Buchholz;Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinalsby Sergei TupailoReview by: Toshiyasu Arai, Toshiyasu Arai and Toshiyasu Arai · The Bulletin of Symbolic Logic · 2002
Realizabilityby A. S. TroelstraReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
[untitled]Review by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2003
Prefaceby Sam BussReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
An Introduction to Proof Theoryby Samuel R. BussReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
The Logic of Provabilityby Giorgi Japaridze; Dick de JonghReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
Types in Logic, Mathematics and Programmingby Robert L. ConstableReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008