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), Talk no. 153, p. 231-243 
@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},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {4},
     year = {1958},
     note = {talk:153},
     pages = {231-243},
     zbl = {0084.00801},
     mrnumber = {1610914},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1956-1958__4__231_0}
}

Guillaume, Marcel. Les tableaux sémantiques de calcul des prédicats restreint, in Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168, Séminaire Bourbaki, no. 4 (1958), Talk no. 153, pp. 231-243. 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 89151

[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 89152 | Zbl 0073.24903

[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 89153 | Zbl 0077.00909

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

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

[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 69781 | Zbl 0064.24307