m
     
Ouvrage

H 0 Practical foundations of mathematics

Taylor, Paul (Principal)

Cambridge University Press

1999

572 p.

978-0-521-63107-5

00023644

00A30 ; 03-02 ; 03B15 ; 03B40 ; 03G30 ; 18-02

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00023644

[disponible]
Z