Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005686112/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b8007110.
- catalog created "[1972]".
- catalog date "1972".
- catalog date "[1972]".
- catalog dateCopyrighted "[1972]".
- catalog description "Bibliography: p. 247-[253]".
- catalog 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.".
- catalog extent "280 p.".
- catalog isPartOf "Collection U. Série Epistémologie".
- catalog issued "1972".
- catalog issued "[1972]".
- catalog language "fre".
- catalog publisher "Paris, A. Colin".
- catalog subject "511/.3/09".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Logique symbolique et mathématique. ram".
- catalog subject "QA9 .L357".
- catalog 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.".
- catalog title "Logique mathématique : textes.".
- catalog type "text".