Finite Model Theory and Its Applications by M. Marx, Scott Weinstein & Moshe Y. Vardi

 
domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });