Ian Mackie

Œuvres (1)

Couverture : Proof theory and automated deduction

Proof theory and automated deduction

1997