TY  - CHAP
AU  - Lacombe, Daniel
TI  - Logique du premier ordre avec quantificateur cardinalisé
BT  - Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:328
PY  - 1968
SP  - 237
EP  - 260
IS  - 10
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1966-1968__10__237_0/
LA  - fr
ID  - SB_1966-1968__10__237_0
ER  -