Deux esquisses de logique
par J. Barkley Rosser.
Paris : Gauthier-Villars, 1955.
65 págs. ; 25 cm.
Serie: Collection de logique mathématique. Sér. A ; VII
Reseña: MathSciNet, 16,661b
Contenido
- 1e. esquisse. Logique combinatoire et [lambda]-conversion
- 2e. esquisse. Les modèles des logiques formelles.