＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- Jules Dupre
- Jules Henri Poincaré
- Jules Itier
- Jules (-Jean-Baptiste-Vincent) Bordet
- Jules Lachelier
- Jules Massenet
- Jules Michlet
- Jules Perrot
- Jules Renard
- Jules Roman
- Jules Verne
- Jules Verne crater
- Julia
- Julia direction
- Julia Driver
- Julia Eileen Gillard
- Julia Elizabeth Annas
- Julia exceptional function
- Julia fractal
- Julia Kristeva
- Julia Margaret Cameron
- Ju Lian
- Julian and Maddalo: a Conversation
- Juliana Peak
- Julian Beck