TY  - GEN
AU  - Frot, Josep M
TI  - Implication and deduction in some intuitionistic modal logics (1)
PY  - 1982///
CY  - Barcelona
PB  - Universitat Barcelona
N1  - Lucrarea este multigrafiata; Contine bibliografie
ER  -