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.].
|
| Descripció no disponible. |