Pour notre excuse, Quine est un auteur difficile. Si la version française de Word and Object, annoncée chez Payot, est correcte, elle rendra service, car il est malaisé de lire Quine dans le texte.

CONTENTS: Lukasiewicz, J. Contribution à l'histoire de la logique des propositions.--Post, E. Introduction à une théorie générale des propositions élémentaires.--Beth, F. W. Conséquence sémantique et dérivabilité formelle.--Skolem, T. Sur la logique mathématique.--Löwenheim, L. Sur les possibilités du calcul des relations.--Skolem, T. Sur quelques questions relatives aux fondements des mathématiques.--Gödel, K. La complétude des axiomes du calcul fonctionnel.--Henkin, L. La complétude du calcul fonctionnel du premier ordre. Complétude en théorie des types.--Hilbert, D. Sur l'infini.