logique # philosophie des mathématiques # logique d'ordre supérieur # théorie des types # logique combinatoire # logique catégorique # théorie des catégories # treillis # catégorie cartésienne fermée # limite # adjonction entre syntaxe et sémantique # catégorie syntaxique # récurrence structurelle

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521631075

ISBN : 0-521-63107-6

Collation : 24 cm#rel. ; Bibliogr. pp. 530-552 ; Index

Collection : Cambridge studies in advanced mathematics

N° de collection : 0059

Localisation : Ouvrage RdC (TAYL)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires