Recherches sur la theory de la demonstration. Traveaux de la Soc. des Sciences et des Lettre de Varsovier, Nr (1930)

by J Herbrand