Samuel R. Buss

Œuvres (1)

Couverture : Handbook of proof theory

Handbook of proof theory

1998