Logique mathématique : textes.
Series: Collection U. Série Épistémologie
Publisher: A. Colin
Published: 1972
Place of publication: Paris
Language: fre
Number of pages: 280
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 247-[253]
Table of contents: title: CONTENTS: Lukasiewicz, J.  Contribution à l'histoire de la logique des propositions.; title: Post, E.  Introduction à une théorie générale des propositions élémentaires.; title: Beth, F. W.  Conséquence sémantique et dérivabilité formelle.; title: Skolem, T.  Sur la logique mathématique.; title: Löwenheim, L.  Sur les possibilités du calcul des relations.; title: Skolem, T.  Sur quelques questions relatives aux fondements des mathématiques.; title: Gödel, K.  La complétude des axiomes du calcul fonctionnel.; title: Henkin, L.  La complétude du calcul fonctionnel du premier ordre.  Complétude en théorie des types.; title: Hilbert, D.  Sur l'infini.