Proof theory

Logique de jugementLogique de jugement

Logique de jugement

En logique mathématique, un jugement (ou un jugement) ou une assertion est une déclaration ou une énonciation dans le métalangage. Par…

6 ans ago