With no background in logic, it's a bit of a long road to Solovay's model; the good news is that every step of it is incredibly interesting!

(Some of this you may already know - I'm just listing a complete roadmap to Solovay.)

To start with, you need a good understanding of what models of ZFC look like. The last couple chapters of Hrbacek/Jech cover this; alternatively, it's at the beginning of Kunen's book.

Then comes forcing. Forcing is basically a way of building models of ZFC "to specification." This is a big deal, since ZFC is a really complicated theory, unlike, say, the theory of rings: while it's very easy to build lots and lots of (models of the theory of) rings, it's incredibly hard to build models of ZFC, and forcing accomplishes this.

The picture of forcing in ZFC is reasonably straightforward (although the details, of course, take a lot of work): you take a model V of ZFC to start with, look at some poset P in V, and the machinery of forcing gives you a* model V[G] containing V with properties that can be discovered reasonably easily by looking at P, and conversely, there are natural strategies for building a P such that the resulting V[G] will have properties you want it to. Playing around with Martin's Axiom might make forcing make a lot more sense; it certainly did for me!

(*OK, actually forcing gives you lots of different models, one for each "generic filter" G of P over V, but for almost all intents and purposes the precise generic filter doesn't matter, and all the information is contained in the poset P alone.)

Now we can prove lots of nice properties about forcing over models of ZFC, including one which for our purposes is actually a bad property: any V[G] is also a model of ZFC. The reason this is bad for us is that Solovay's model is definitely not a model of Choice, so we have to add another layer of complexity: the symmetric submodel construction. By doing some complicated shenanigans** with automorphisms of P, we can build intermediate models W of ZF set theory, containing V and contained in V[G]. Solovay's model is built in this fashion.

(**Specifically, elements of the extension V[G] have "names" in V; the symmetric submodel construction is a way of defining "hereditarily symmetric" names, which are basically names fixed by "a lot" of automorphisms of P (the precise choice of definition of "a lot" determines the properties of the symmetric submodel), and models W consist of the elements of V[G] with hereditarily symmetric names.)

So there's really four different steps in getting to Solovay's model: understanding the ZFC picture of the universe (Hrbacek/Jech's final chapters, or Kunen's intro chapter, do this well); understanding forcing over models of ZFC (Kunen covers this well, as does Jech's gigantic set theory tome); understanding symmetric submodels (this is covered in Jech's big tome, but not Kunen; so it might be a good idea to use Jech throughout); and finally, understanding the details behind Solovay's particular construction (covered in a bunch of sources, including Jech's book). Basically, Jech's giant tome of set theory - "Set Theory," Third Millennium Edition - has everything you need. It's pretty expensive, though.

Good luck!