TY  - JOUR
AU  - A. Rusu
TI  - Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic
JO  - Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
PY  - 2007
SP  - 66
EP  - 72
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BASM_2007_1_a5/
LA  - en
ID  - BASM_2007_1_a5
ER  -