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

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9 .L357Off-site

Details

Description
280 pages; 24 cm.
Series Statement
Collection U. Série Épistémologie
Uniform Title
Collection U. Série Épistémologie.
Subject
  • Logique symbolique et mathématique
  • Logic, Symbolic and mathematical
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