Lindström, Per2009-02-242009-02-2420061652-0459http://hdl.handle.net/2077/19477engFirst-order logicText