@incollection{SB_1966-1968__10__237_0,
     author = {Lacombe, Daniel},
     title = {Logique du premier ordre avec quantificateur cardinalis\'e},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1966/67 1967/68, expos\'es 313-346},
     series = {S\'eminaire Bourbaki},
     note = {talk:328},
     pages = {237--260},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {10},
     year = {1968},
     mrnumber = {1610413},
     zbl = {0195.29902},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1966-1968__10__237_0/}
}