Logica matematica e uma obra de natureza introdutoria, porem completa, centrada no desenvolvimento da logica classica de primeira ordem. Inicia-se com reflexoes sobre paradoxos e (meta)linguagem, e contem tambem capitulos e apendices sobre logica proposicional classica, teoria dos conjuntos (ingenua e formalizada), construcoes de conjuntos numericos e algebras de boole. O objetivo do autor e introduzir ao estudante de matematica - de licenciatura ou de bacharelado - os fundamentos da logica de primeira ordem, mostrando como essa pode ser utilizada para formalizar a matematica, tornando mais precisas as definicoes, notacoes e demonstracoes que nela aparecem. Todos os conceitos sao definidos e explicados no texto, porem, e aconselhavel que o leitor tenha alguma experiencia em demonstracoes matematicas informais, adquiridas em disciplinas como algebra, algebra linear e analise real para acompanhar a leitura com fluencia.