Thanks Vanesch.
I noticed that Peskin doesn't really "derive" the Feynman rules so much as go from one example in phi ^ 4 theory to the rules. At least in chapter 4 that's what they do. To "derive" the rules, is it better to use the path integral formalism? I think Srednicki (in the notes for his forthcoming QFT book) does something like that for phi psi ^2 theory...
I'm not so worried about whether the theory is renormalizable, I just need to derive the Feynman rules for the theory, which I think are exactly the same as for the phi to the fourth theory. The derivation would be slightly different, as you mentioned, since each internal vertex will have 6 lines going in, and all the 4 factorials go to 6 factorials, but all those factorials cancel anyway, of course, so one could just replace every 4 with a 6 and then the derivation would be the same?? I just expected this to be tougher I suppose...
Can someone point me to a formal derivation of the Feynman rules for say the phi ^4 theory or phi ^6, unless I missed such a thing in Peskin? Or even better post such a thing here? Thanks again,
Job.