现代逻辑方法论（永井成男）

很好的方法论书籍，有兴趣的可以读一读。方法论具有普遍性，能帮助理解软件开发的思想和方法。