Nicola Olivetti

Œuvres (1)

Couverture : Goal-Directed Proof Theory (Applied Logic Series Volume 21)

Goal-Directed Proof Theory (Applied Logic Series Volume 21)

2000