Posts Tagged "formal logic"

Return to blog

An Introduction to Girard's Geometry of Interaction

A mathematical abstraction of proofs for an autonomous explanation of logic