The Logic of Intentional Objects by Jacek Pasniczek