Author: Centre National de la Recherche Scientifique (France)
Title: Les méthodes formelles en axiomatique
Description: Paris, C.N.R.S. 1953. orig.wrappers. 23x15cm, x,78 pp. Series: Colloques Internationaux du Centre National de la Recherche Scientifique, 36.. Rubbed. Some page browning. Some spine tears. Good. ¶ Contents: Les systemes formels et les langues; Sur la formalisation des théories mathématiques; Sur le concept d'axiomatisabilité; Sur la parallé lisme logico-mathématique; Les rapports entre le calcul déductif et l' interprétation sémantique d'un système axiomatique; La formalisation comme suggestion rigoureuse; Espace de Hilbert et intuitionnisme; Sur le concept de 'le' (ou 'ce qui') dans le calcul affirmatif et dans les calculs intuitionnistes.

Keywords: Mathematical Logic, Mathematics, Symbolic, , , , , ,