@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}, note = {talk:153}, publisher = {Soci\'et\'e math\'ematique de France}, number = {4}, year = {1958}, zbl = {0084.00801}, mrnumber = {1610914}, language = {fr}, url = {www.numdam.org/item/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] Semantic entailment and formal derivability, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 18, n° 13. - Amsterdam, 1955. | MR 89151
. -[2] 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] 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] Recherches sur la déduction logique, trad. et comm. R. Feys et J. Ladrière. - Paris, 1955. | MR 70585
. -[5] Introduction to metamathematics. - Amsterdam, North-Holland publishing, et Groningen, Noordhoff, 1952 (Bibliotheca mathematica, vol. 1). | MR 51790 | Zbl 0047.00703
. -[6] 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
. -