Recherches sur la théorie de la démonstration


HERBRAND JacquesTitre de l'ouvrage :Recherches sur la théorie de la démonstration Publication : Varsovie - J. Dziewulski - 1930
SFT N° 350Description : 129 p. ; in-8 Note édition :Thèse de doctorat ès sciences mathématiques, présentée à la faculté des sciences de Paris, n° 2121. – Édition polonaise : "Badania nad teorją dowodu". Warszawa, 1930 (Paris, BNF, 4-R-3283 /3,33)Note sujet :Contributions à la théorie de la démonstration. – Le « théorème de Herbrand » établit une relation entre calcul des prédicats et calcul des propositions Thème :MathématiquesMots clés :Logique mathématique
Consulter la numérisation1
Paris, Bibliothèque de l'Institut Henri Poincaré
Localisation :
Paris, BNF, 4-R-489 (2121)

Ajouter un commentaire