PAULETTE DESTOUCHES-FEVRIER.

Applications scientifiques de la logique mathematique: Actes du 2e colloque international de logique mathematique, Paris - 25-30 aout 1952, Institut Henri Poincaré.

Paris, Gauthier-Villars, 1954. 8vo. Uncut in the original printed wrappers. Light miscolouring to wrapper, otherwise fine clean. 176, (1) pp.

First printing of this collection of paper contributing to the French seminar on computational logic arranged by Fevrier with prominent contributors such as Heyting and Tarski

Order-nr.: 49020