Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Publicat: |
[S.l.] :
[s.n.]
[s.d.].
|
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Salle de lecture | T 903 REZ | Disponible |