This work.develops the foundations of topological graph theory with a unified approach using combinatorial maps. (A combinatorial map is an n-regular graph endowed with proper edge colouring in n colours.) We establish some new results and some generalisations of important theorems in topological graph theory. The classification of surfaces, the imbedding distribution of a graph, the maximum genus of a graph, and MacLane's test for graph planarity are given new treatments in terms of cubic combinatorial maps. Among our new results, we give combinatorial versions of the classical theorem of topology which states that the first Betti number of a surface is the maximum number of closed curves along which one can cut without dividing...