27—THE NORMAL FORCE BETWEEN TWISTED FILAMENTS: PART II: EXPERIMENTAL VERIFICATION
- 期刊名称The Journal of The Textile Institute
- 作者Batra, S. K.; Tayebi, A.; Backer, S.
- 卷第64卷
- 期第6期
- 印刷ISSN0040-5000
- 电子ISSN1754-2340
- 文件大小2769.15KB
- 发表时间1973-06
- DOI10.1080/00405007308630258
- 页码363-373
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