名古屋大学附属図書館




1

Deux esquisses de logique

par J. Barkley Rosser. -- Gauthier-Villars, 1955. -- (Collection de logique mathématique ; série A, 7).