Libros de
Utilice este formulario para refinar su búsqueda.
A first course in logic
an introduction to model theory, proof theory, computability, and complexity

