Les tableaux sémantiques de calcul des prédicats restreint
Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168, Séminaire Bourbaki, no. 4 (1958), Exposé no. 153, 13 p.
corrigé par Erratum à l'exposé n°153 
@incollection{SB_1956-1958__4__231_0,
     author = {Guillaume, Marcel},
     title = {Les tableaux s\'emantiques de calcul des pr\'edicats restreint},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1956/57 - 1957/58, expos\'es 137-168},
     series = {S\'eminaire Bourbaki},
     note = {talk:153},
     pages = {231--243},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {4},
     year = {1958},
     mrnumber = {1610914},
     zbl = {0084.00801},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1956-1958__4__231_0/}
}
TY  - CHAP
AU  - Guillaume, Marcel
TI  - Les tableaux sémantiques de calcul des prédicats restreint
BT  - Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:153
PY  - 1958
SP  - 231
EP  - 243
IS  - 4
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1956-1958__4__231_0/
LA  - fr
ID  - SB_1956-1958__4__231_0
ER  - 
%0 Book Section
%A Guillaume, Marcel
%T Les tableaux sémantiques de calcul des prédicats restreint
%B Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168
%A Collectif
%S Séminaire Bourbaki
%Z talk:153
%D 1958
%P 231-243
%N 4
%I Société mathématique de France
%U http://www.numdam.org/item/SB_1956-1958__4__231_0/
%G fr
%F SB_1956-1958__4__231_0
Guillaume, Marcel. Les tableaux sémantiques de calcul des prédicats restreint, dans Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168, Séminaire Bourbaki, no. 4 (1958), Exposé no. 153, 13 p. http://www.numdam.org/item/SB_1956-1958__4__231_0/

[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. | MR

[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. | MR | Zbl

[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). | MR | Zbl

[4] Gentzen (G.). - Recherches sur la déduction logique, trad. et comm. R. Feys et J. Ladrière. - Paris, 1955. | MR

[5] Kleene (Stephen C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing, et Groningen, Noordhoff, 1952 (Bibliotheca mathematica, vol. 1). | MR | Zbl

[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). | MR | Zbl