On the expressive power of first-order logic with built in predicatesNicole SchweikardtUitverkocht4,3Hou mij op de hoogte
