Criterii căutate
- Tip publicație: periodic
- Realizator: TORTRAT, Albert
Sumarul căutării
- 3 articole
Tip | Anul | Publicație și Volum/Nr. | Realizatori | Titlul articolui | Secțiunea | Pagina | Limba | |
---|---|---|---|---|---|---|---|---|
articol de periodic | 2004 | Revue Roumaine de Mathematiques Pures et Appliquees, xlix-2 | TORTRAT, Albert (autor) | Logique formelle et mathematiques | 173-182 | |||
articol de periodic | 2008 | Revue Roumaine de Mathematiques Pures et Appliquees, liii-4 | TORTRAT, Albert (autor) | Les tautologies en logique formelle | 357-374 | |||
articol de periodic | 2010 | Revue Roumaine de Mathematiques Pures et Appliquees, lv-5 | TORTRAT, Albert (autor) | Difficultes de la formalisation de k'arithmetique et de l'analyse mathematique | 407-410 |