Couverture : Introduction to higher order catagorical logic

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Introduction to higher order catagorical logic

Joachim Lambek, P Scott

Autre Première publication : 1986

Sujets

Catégories (mathématiques)

Éditions (1)

Couverture : Introduction to higher order catagorical logic

Introduction to higher order catagorical logic

Cambridge university press (Cambridge) · 1986 · 9780521356534