NOR LOGIC: A SYSTEM OF NATURAL DEDUCTION.GAGNON LS.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 293-294; BIBL. 2 REF.Article

A QUESTION ABOUT INCOMPLETENESS.ARMSTRONG RL.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 295-296; BIBL. 5 REF.Article

METHODE INVERSE ET TACTIQUES D'ETABLISSEMENT DE LA DEDUCTIBILITE POUR UN CALCUL COMPORTANT DES SIGNES FONCTIONNELSMASLOV S YU.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 14-56; BIBL. 24 REF.Serial Issue

DIAGRAMMES DES DEDUCTIONS NATURELLESPOPOV SV.1982; PROBLEMY KIBERNETIKI; ISSN 507989; SUN; DA. 1982; NO 39; PP. 5-66; BIBL. 2 REF.Article

THEOREME DE SEPARABILITE POUR LES CALCULS PROPOSITIONNELS SUPER INTUITIONNISTESKHOMICH VI.1976; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1976; VOL. 229; NO 6; PP. 1327-1329; BIBL. 8 REF.Article

APPROCHE FINIE DU PROBLEME D'OPTIMISATION DES ALGORITHMES D'ETABLISSEMENT DE LA DEDUCTIBILITESLISENKO AO.1975; ZAP. NAUCH. SEMINAR. L.O.M.I.; S.S.S.R.; DA. 1975; VOL. 49; PP. 123-130; ABS. ANGL.; BIBL. 6 REF.Article

NATURAL DEDUCTION RULES FOR S1^O-S4^OSATRE TW.1972; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1972; VOL. 13; NO 4; PP. 565-568; BIBL. 3 REF.Serial Issue

VARIANTES SEQUENTIELLES DES CALCULS DE PREDICATS APPLIQUES SANS REGLES DE DEDUCTION STRUCTURELLESROGAVA MG.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 136-164; BIBL. 22 REF.Serial Issue

COPI'S METHOD OF DEDUCTIONJOHNSON FA.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 295-300; BIBL. 4 REF.Article

NATURAL DEDUCTION RULES FOR MODAL LOGICSSATRE TW.1972; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1972; VOL. 13; NO 4; PP. 461-475; BIBL. 16 REF.Serial Issue

APPLICATION DES METHODES DE LA THEORIE DE LA DEDUCTION LOGIQUE DANS LA THEORIE DES GRAPHESMATIYASEVICH YU V.1972; MAT. ZAMET.; S.S.S.R.; DA. 1972; VOL. 12; NO 6; PP. 781-790Serial Issue

REMARQUES SUR LES THEORIES DEDUCTIVESCAZANESCU VE.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 23-29; BIBL. 3 REF.Book

DEDUCIBILITY IN MANY-VALUED LOGICSGUCCIONE S; TORTORA R.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 117-121; BIBL. 22 REF.Conference Paper

COMPLEXITE DES DEDUCTIONS DANS QUELQUES CALCULS PROPOSITIONNELSPOPOV SV.1975; PROBL. KIBERN.; S.S.S.R.; DA. 1975; NO 30; PP. 57-146; BIBL. 2 REF.Article

THEORIE DE LA RECHERCHE DE LA DEDUCTION ET QUELQUES APPLICATIONSMASLOV S YU.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 4; PP. 134-144; ABS. ANGL.; BIBL. 1 P. 1/2Article

CLASSES RESOLUBLES CONVERGEANT VERS UNE CLASSE A UN QUANTIFICATEURMASLOV S YU; OREVKOV VP.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 57-66; BIBL. 11 REF.Serial Issue

SUR LA CATEGORIE DES THEORIES DEDUCTIVESCAZANESCU VE.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 11-21; BIBL. 3 REF.Book

LOGIQUES A PROGRAMMESPLYUSHKYAVICHYUS RA; PLYUSHKYAVICHENE A YU; SAKALAUSKAJTE YU V et al.1979; KIBERNETIKA; UKR; DA. 1979; NO 2; PP. 12-19; ABS. ENG; BIBL. 31 REF.Article

STATISTICAL DEDUCIBILITY TESTING WITH STOCHASTIC PARAMETERSKRAMOSIL I; SINDELAR J.1978; KYBERNETIKA; CSK; DA. 1978; VOL. 14; NO 6; PP. 385-396; BIBL. 9 REF.Article

TACTIQUES D'HERBRAND DE RECHERCHE DE LA DEDUCTION DANS LE CALCUL DES PREDICATSNORGELA S.1978; LITOV. MAT. SBOR.; SUN; DA. 1978; VOL. 18; NO 4; PP. 95-100; ABS. LIT/ENG; BIBL. 3 REF.Article

GRAMMAIRES FORMELLES TENANT COMPTE DES CONTEXTES TERMINAUX EXTERNESANISIMOV AV.1974; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1974; NO 3; PP. 81-88; ABS. ANGL.; BIBL. 15 REF.Article

CALCUL INTERMEDIAIRE INSOLUBLEPOPOV SV.1981; ALGEBRA LOG.; ISSN 0373-9252; SUN; DA. 1981; VOL. 20; NO 6; PP. 654-706; BIBL. 5 REF.Article

COMPLEXITES POLYNOMIALES DE LA DEDUCTION DES CALCULS LOGIQUESDARDZHANIYA GK.1979; VEST. MOSKOV. UNIV., 1; SUN; DA. 1979; NO 3; PP. 10-18; ABS. ENG; BIBL. 3 REF.Article

PRINCIPE DE SEPARATION DES VARIABLES DANS LES LOGIQUES PROPOSITIONNELLESMAKSIMOVA LL.1976; ALGEBRA I LOGIKA, SEMINAR; S.S.S.R.; DA. 1976; VOL. 15; NO 2; PP. 168-184; BIBL. 7 REF.Article

REALISATION DES RAISONNEMENTS NON MONOTONESBUKHSHTAB YU A; KAMYNIN SS; LYUBIMSKIJ EH Z et al.1982; PROGRAMMIROVANIE; SUN; DA. 1982; NO 1; PP. 84-88; BIBL. 5 REF.Article