Lawvere, F. William.

Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen Hoel Schanuel. - 2a ed. - Cambridge ; New York : Cambridge University, 2009. - xii, 390 p. : il. ; 26 cm.

Incluye referencias bibliográficas e índice.

9780521719162


Lógica matemática.
Mathematical logic.
Categories.