Connectez-vous pour ajouter ce livre à votre bibliothèque.
Samuel R. Buss
Handbook of proof theory
Elsevier (Amsterdam) · 1998 · 9780444898401
