A normalization theorem in formal theories of natural numbers

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人 日本数学会の論文

著者

• Hinata Shigeru

  Department Of Functional Machinery And Mechanics Shinshu University

• HINATA Shigeru

  Department of the Foundations of Mathematical Sciences Tokyo University of Education

関連論文

• C209 EFFECTS OF INITIAL FLUID-TEMPERATURE ON FREE CONVECTION HEAT TRANSFER IN A STABLY STRATIFIED FLUID BETWEEN VERTICAL PLATES UNDER THE CONDITION OF LATERAL HEATING AT CONSTANT WALL-TEMPERATURE(Double diffusion)
• Double Diffusive Natural Convection in a Horizontal Concentric Annulus Containing a Stratified Solution under Constant Heat Flux Rate from Inside
• Numerical Simulation of Time Dependent Double Diffusive Natural Convection in a Stably Stratified Fluid under Partial Heating Boundary Condition for a Circular Cavity
• A normalization theorem in formal theories of natural numbers

スポンサーリンク