Matches in Library of Congress for { <http://lccn.loc.gov/72350651> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 72350651 contributor B2169080.
- 72350651 created "[1972]".
- 72350651 date "1972".
- 72350651 date "[1972]".
- 72350651 dateCopyrighted "[1972]".
- 72350651 description "Bibliography: p. 247-[253]".
- 72350651 description "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.".
- 72350651 extent "280 p.".
- 72350651 isPartOf "Collection U. Série Épistémologie".
- 72350651 issued "1972".
- 72350651 issued "[1972]".
- 72350651 language "fre".
- 72350651 publisher "Paris, A. Colin".
- 72350651 subject "511/.3/09".
- 72350651 subject "Logic, Symbolic and mathematical.".
- 72350651 subject "QA9 .L357".
- 72350651 tableOfContents "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.".
- 72350651 title "Logique mathématique : textes.".
- 72350651 type "text".