Extensionalism The Revolution in Logic - Bar-Am, Nimrod (Springer Netherlands, 2008)