On the expressive power of first-order logic with built in predicates, Nicole Schweikardt
No one has rated yet.Add rating