Connectez-vous pour ajouter ce livre à votre bibliothèque.
Grigorij E. Minc
Selected papers in proof theory
Bibliopolis (Napoli) · 1992 · 9788870882285
