Research Catalog
Logique mathématique : textes.
- Title
- Logique mathématique : textes.
- Author
- Largeault, Jean
- Publication
- Paris : A. Colin, [1972]
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9 .L357 | Off-site |
Holdings
Details
- Description
- 280 pages; 24 cm.
- Series Statement
- Collection U. Série Épistémologie
- Uniform Title
- Collection U. Série Épistémologie.
- Subjects
- Bibliography (note)
- Bibliography: p. 247-[253]
- 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.
- LCCN
- 72350651
- OCLC
- ocm02948196
- Owning Institutions
- Columbia University Libraries