Check nearby libraries
Buy this book
Last edited by Open Library Bot
December 5, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical LogicShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
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
ID Numbers
Community Reviews (0)
Feedback?December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
December 10, 2009 | Created by WorkBot | add works page |