Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 275 p.
ISBN 978-0-8218-1799-5
American mathematical society translations série 2 , 0099
Localisation : Collection 1er étage
calcul constructif # construction # ensemble de dénombrable # logique constructive # théorie des algorithmes
03C15 ; 03C30 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07419-9
Lecture notes in mathematics , 0492
Localisation : Collection 1er étage
Carol Karp # argument arrière et avant # condition de finitude pour langages infinitaires # logique infinitaire # modèle de chaîne # propriété de consistance pour langages de quantificateurs fi # technique arrière et avant dans les langages à quantificateu
03C75 ; 03C99 ; 03C30 ; 00Bxx ; 03-06 ; 03-02 ; 01A70
... Lire [+]
