%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