Páginas com hiperligações para "Jean-Yves Girard"
As seguintes páginas têm hiperligações para Jean-Yves Girard:
São apresentadas 12 páginas.
- Prêmio Poncelet (← afluentes | editar)
- Hierarquia de crescimento rápido (← afluentes | editar)
- Hierarquia de crescimento lento (← afluentes | editar)
- Ludics (← afluentes | editar)
- Teorema da eliminação do corte (← afluentes | editar)
- Cálculo de sequentes (← afluentes | editar)
- Propriedades de normalização forte e fraca (← afluentes | editar)
- Polimorfismo paramétrico (← afluentes | editar)
- Lista de palestrantes do Congresso Internacional de Matemáticos (← afluentes | editar)
- Lógica linear (← afluentes | editar)
- Lógica não comutativa (← afluentes | editar)
- Discussão:Jean-Yves Girard (transclusão) (← afluentes | editar)