Effect of ply stacking sequence on stress in a scarf joint
- 期刊名称AIAA Journal
- 作者JOHNSON, CARYL L.
- 卷第27卷
- 期第1期
- 印刷ISSN0001-1452
- 电子ISSN1533-385X
- 文件大小796.06KB
- 发表时间1989-01
- DOI10.2514/3.10097
- 页码79-86
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