This work doesn't have a description yet. Can you add one?
Subjects
| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
Table of Contents
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.
Edition Notes
Bibliography: p. 247-[253]
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
