m

Documents  Cooper barry S. | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... Lire [+]

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

- 436 p.
ISBN 978-0-521-63549-3

London mathematical society lecture note series , 0258

Localisation : Collection 1er étage

combinatoire # logique # logique de propositions # logique de prédicats # modèle de calcul # théorie d'ensembles # théorie de preuve

03-06 ; 03Exx ; 03Fxx

... Lire [+]

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

- IX-373 p.
ISBN 978-0-521-11081-5

Lectures Notes in Logic , 0032

Localisation : Colloque 1er étage (NIJM)

logique # construction de Hrushovski

03-06 ; 00B25

... Lire [+]

Z