Surgical leg rotation
- 期刊名称International Journal of Rehabilitation Research
- 作者Tesio, Luigi; Benedetti, Maria Grazia; Rota, Viviana; Manfrini, Marco; Perucca, Laura; Caronni, Antonio
- 卷第37卷
- 期第4期
- 印刷ISSN0342-5282
- 文件大小924.58KB
- 发表时间2014-12
- DOI10.1097/MRR.0000000000000075
- 页码323-333
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