Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Publié: |
[S.l.] :
[s.n.]
[s.d.].
|
| LEADER | 00455nam a22001097a 4500 | ||
|---|---|---|---|
| 001 | 376218 | ||
| 008 | | 00k0xx ||| |||| 00| 0 ||| d | ||
| 100 | |a Reznikoff Iégor. | ||
| 245 | 1 | 0 | |a Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste |c Reznikoff Iégor. |
| 260 | |a [S.l.] : |b [s.n.], |c [s.d.]. | ||
| 502 | |a Paris. 1966 | ||
| 997 | |0 376218 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, T 903 REZ | ||