The notion of fibered category was introduced by Alexander Grothendieck in order to analyse structures in algebraic geometry, in particular to study descent and stacks. Fibrations are a very sophisticated tool, very flexible and pervasive. After reviewing some elementary, known properties of Grothendieck fibrations, we shall address their applications in logic, with the use of several examples.