Vista normal Vista MARC Vista ISBD

Lambek, Joachim,

Introduction to higher order categorical logic / J. lambek, p. j. Scott - ix, 293 páginas - Cambridge studies in advanced mathematics ; 7 .

ISBN: 0521356539 (rustica) 0-521-24665-2 (encuadernado en tela)

Subjects--Topical Terms:
Categorías (Matemáticas)

LC Class. No.: QA169 / L35