Deux esquisses de logicque - Rosser J B (Paris Gauthier-Villars, 1955)
Keywords: Mathematical logic; Symbolic