On the expressive power of first-order logic with built in predicatesNicole SchweikardtAgotado4,3Notifícame
