Lukasiewicz

Reference : Cyb-4462

‎Chatelet (Albert), Destouches (J.L.) et Brouwer (E.J.), eds. - H.B. Curry - Jan Lukasiewicz - M. Hermes - Abraham Robinson - R. Frys - M. Heyting - I. Johansson‎

‎Les méthodes formelles en axiomatique - Actes du premier colloque de Logique Mathématique de l'Ecole Normale Supérieure, Paris, 6-9 décembre 1950‎

‎Editions du Centre National de la Recherche Scientifique (C.N.R.S.) , Colloques Internationaux du Centre National de la Recherche Scientifique Ferce sur Sarthe, France 1953 Book Condition, Etat : Moyen broché , sous couverture imprimée éditeur grand In-8 1 vol. - 91 pages‎

‎ 1ere édition Contents, Chapitres : Présentation du colloque, allocution d'ouverture de M. A. Chatelet, xiii, Texte, 78 pages - H.B. Curry : Les systèmes formels et les langues - Jan Lukasiewicz : Sur la formalisation des théories mathématiques - M. Hermes : Sur le concept d'axiomatisation - Abraham Robinson : Les rapports entre le calcul deductif et l'interprétation sémantique d'un système axiomatique - R. Frys : La formalisation comme suggestion rigoureuse - M. Heyting : Espace de Hilbert et intuitionnisme - I. Johansson : Sur le concept de le (ou ce qui) dans le calcul affirmatif et dans les calculs intuitionnistes - M. Brouwer : Discussion générale et discours final fortes pliures sur les coins droits du volume, sinon bon exemplaire de lecture, papier legerement jauni - the right corners of the volume are very worn (folded), else near fine copy, no markings, the paper is lightly browning‎

Reference : RO40069978

‎MOITEL PIERRE ET LUKASIEWICZ CLAUDE‎

‎LES JEUNES REINVENTENT-ILS LE COUPLE AUJOURD'HUI?‎

‎ISBN : 2227357126. Le Centurion. 1982. In-8 Carré. Broché. Etat d'usage. Couv. convenable. Dos satisfaisant. Intérieur bon état. 202 pages, annotation.‎

‎Collection Champs Nouveaux.‎