No. Here is a counterexample:
- Take $G = \mathbb{Z}/4\mathbb{Z}$, and $H = \mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$.
- Take any bijection $\phi \colon G \to H$ such that $\phi(0) = (0,0)$.
There are only two proper subgroups of $G$, namely $\{0\}$ and $\langle 2 \rangle$. Both are mapped isomorphically to a subgroup of $H$. But $G \not\cong H$.
So you will need more assumptions. MaybeMay I suggest the requirement that
$(\star)\quad$ $\phi$ induces a bijection between the posets of proper subgroups of $G$ and $H$.
As remarked in the comments, if $G$ does not have a generating set with $\le 2$ elements, then $\phi$ inducesmust be a bijection onhomomorphism, hence an isomorphism.
If you add the latticesassumption $(\star)$, then cyclic groups are fine as well. The lattice of proper subgroups of $G$is distributive if and only if the group is locally cyclic. If the group is finitely generated, this means that it must be cyclic $H$?(see http://planetmath.org/latticeofsubgroups).
Remark: I am not yet sure what to do with groups generated by $2$ elements, but I have the feeling those shouldn't be hard now. I do not have anything close to a proof though. Please let me know if you think $(\star)$ makes sense in your setting.