Les Methodes Formelles en Axiomatic, Paris, Decembre 1950 (Colloques Internationaux du Centre national de la Recherche Scientifique)
Paris: Centre National de la Recherche Scientifique, 1953. First edition. Paperback. 1953. First edition. Paperback, 78 pp. Very good. Previous owner's stamp to title page. Sunning to wraps; age-toning to pages. Wear to bottom spine-end; crease to rear wrap and last 40 pages. Text in French.