Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 94 p.
Cote : 00002420
logique générale # logique # calcul de prédicat # théorie de la consistance # sémantique # théorème de Loewenheimskolem # théorème de Herbrand # théorème de Gödel # théorème de Church # théorème de Tarski # nombre de Gödel # décidabilité # compacité logique # interpolation de Craig
03Gxx
Localisation : Ouvrage RdC (LYND)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 339 p.
Cote : 00004671
automorphisme de groupe # combinatoire # extension de Higmann-Neumann- Neumann # extension de groupe # groupe # groupe fini # groupe géométrique # groupe infini # générateur # méthode d'homologie # méthode géométrique # problème du mot # produit libre # propriété généralisée # propriété résiduelle # relation # sous-groupe # structure combinatoire des groupes # théorie des groupes # théorème de structure
20E25 ; 20E40 ; 20Exx ; 20Fxx ; 20H15
Localisation : Ouvrage RdC (LYND)
English