Introduction to Higher-order Categorical Logic

Lambek, J. Scott, P.J.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
304
Parution
mars 1988
Format
Livre broché
Langue
Anglais
Dimensions
228 × 152 × 17 cm
EAN
9780521356534
  • Résumé

This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page