Studyguide for Language, Proof and Logic by Barwise, Jon, ISBN 9781575863740 heftetEngelsk, 2010