Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics - J. Lambek - Libros - Cambridge University Press - 9780521356534 - 25 de marzo de 1988
En caso de que portada y título no coincidan, el título será el correcto

J. Lambek
Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

304 pages, bibliography, index

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de marzo de 1988
ISBN13 9780521356534
Editores Cambridge University Press
Páginas 304
Dimensiones 229 × 164 × 20 mm   ·   462 g
Lengua Inglés  
Editor de series Bollobas, B.
Editor de series Fulton, W.
Editor de series Katok, A.
Editor de series Kirwan, F.
Editor de series Sarnak, P.
Editor de series Simon, B.
Editor de series Totaro, B.

Mere med samme udgiver

Ver todo de J. Lambek ( Ej. Paperback Book )