@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://archive.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://archive.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://archive.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, in Séminaire Bourbaki : années 1956/57 - 1957/58, exposés 137-168, Séminaire Bourbaki, no. 4 (1958), Talk no. 153, 13 p. http://archive.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
. -[2] Semantic construction of intuitionistic logic, Mededeelingen Kon. Nederlandse Akad. van Wetenschappen, Afd. Letterkunde, N. R., Deel 19, n° 13. - Amsterdam, 1956. | MR | Zbl
. -[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 | Zbl
. -[4] Recherches sur la déduction logique, trad. et comm. R. Feys et J. Ladrière. - Paris, 1955. | MR
. -[5] Introduction to metamathematics. - Amsterdam, North-Holland publishing, et Groningen, Noordhoff, 1952 (Bibliotheca mathematica, vol. 1). | MR | Zbl
. -[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 | Zbl
. -