m

Documents  Lyndon, Roger C. | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 217 p.
ISBN 978-0-521-31694-1

London mathematical society lecture note series , 0101

Localisation : Collection 1er étage

51Jxx ; 51M10 ; 51Mxx ; 54E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 94 p.

Van nostrand mathematical studies , 0006

Localisation : Ouvrage RdC (LYND)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 339 p.
ISBN 978-3-540-07642-1

Ergebnisse der mathematik und ihrer grenzgebiete , 0089

Localisation : Ouvrage RdC (LYND)

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

... Lire [+]

Z