Les tableaux sémantiques de calcul des prédicats restreint
Séminaire Bourbaki (1956-1958)
- Volume: 4, page 231-243
- ISSN: 0303-1179
Access Full Article
topHow to cite
topReferences
top- [1] Beth ( E.W.). - Semantic entailment and formal derivability, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 18, n° 13. - Amsterdam, 1955. MR89151
- [2] Beth ( E.W.). - Semantic construction of intuitionistic logic, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 19, n° 13. - Amsterdam, 1956. Zbl0073.24903MR89152
- [3] Beth ( E.W.). - La crise de la raison et la logique. - Paris, Gauthier-Villars, et Louvain, Nauwelaerts, 1957 (Collection de Logique mathématique, Série A). Zbl0077.00909MR89153
- [4] Gentzen ( G.). - Recherches sur la déduction logique, trad. et comm. R. Feys et J. Ladrière. - Paris, 1955. MR70585
- [5] Kleene ( Stephen C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing, et Groningen, Noordhoff, 1952 (Bibliotheca mathematica, vol. 1). Zbl0047.00703MR51790
- [6] Robinson ( Abraham). - Théorie métamathématique des idéaux. - Paris, Gauthier-Villars. et Louvain, Nauwelaerts, 1955 (Collection de logique mathématique, Série A). Zbl0064.24307MR69781