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 [+]