Metadata
Author: LASER-wikipedia2
Data
Japanese[ja]
Jean-Yves Girard の proof net のような特殊な証明計算でも解析的証明の記法はサポートされている。
Portuguese[pt]
Cálculos de prova mais exóticos como as redes de prova de Jean-Yves Girard também favorecem o conceito de prova analítica.