The paper presents the Mixed-Integer Non-linear Programming (MINLP) approach to the synthesis of trusses. The solution of continuous/discrete non-convex and non-linear optimization problems is discussed with respect to the simultaneous topology, shape and discrete sizing optimization of trusses. A truss MINLP superstructure of different topology and design alternatives has been generated, and a special MINLP model formulation for trusses has been developed. In the optimization model, a mass objective function of the structure has been defined and subjected to design, load and dimensioning constraints. The MINLP problems are solved using the Modified Outer-Approximation/Equality-Relaxation (OA/ER) algorithm. Multi-level MINLP strategies are introduced to accelerate the convergence of the algorithm. The Modified Two-Phase and the Sequential Two-Phase MINLP strategies are proposed in order to solve highly combinatorial topology, shape and discrete sizing optimization problems. The importance of local buckling constraints on topology optimization is also discussed. Some simple numerical examples are shown at the end of the paper to demonstrate the suitability and efficiency of the proposed method.