A bosonic-fermionic correspondence allows an analytic definition of functional super derivative, in particular, and a bosonic functional calculus, in general, on BargmannGelfand triples for the second super quantization. A Feynman integral for the super transformation matrix elements in terms of bosonic anti-normal Berezin symbols is rigorously constructed. Mathematics Subject Classification 20...