MODEL THEORY FOR INTUITIONISTIC LOGICGABBAY DM.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 1; PP. 49-54; BIBL. 7 REF.Serial Issue

COMPLETENESS PROPERTIES OF HEYTING'S PREDICATE CALCULUS WITH RESPECT TO RE MODELS.GABBAY DM.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 81-94; BIBL. 15 REF.Article

LAW AND LOGICKANGER S.1972; THEORIA; SUEDE; DA. 1972; VOL. 38; NO 3; PP. 103-132; BIBL. 3 P.Serial Issue

A FINITE COMBINATORIAL PRINCIPLE WHICH IS EQUIVALENT TO THE 1-CONSISTENCY OF PREDICATIVE ANALYSISFRIEDMAN HM; MCALOON K; SIMPSON SG et al.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 197-230; BIBL. 30 REF.Conference Paper

PREDICATE FUNCTORS REVISITEDQUINE WV.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 649-652; BIBL. 2 REF.Article

MONITORS WITH ARRAYS OF CONDITION VARIABLES AND PROOF RULES HANDLING LOCAL QUANTITIESGJESSING S.1980; ; BIT; DNK; DA. 1980; VOL. 20; NO 2; PP. 137-144; BIBL. 4 REF.Article

NOMINALISM AND CONCEPTUALISM AS PREDICATIVE SECOND-ORDER THEORIES OF PREDICATIONCOCCHIARELLA N.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 481-500; BIBL. 11 REF.Article

A RESULT OF RELATIVE CONSISTENCY ABOUT THE PREDICATE WO(DELTA ,X)DAVID R.1980; J. SYMB. LOGIC.; ISSN 0022-4812; USA; DA. 1980; VOL. 45; NO 3; PP. 483-492; BIBL. 8 REF.Article

ARISTOTLE ON THE SUBJECT OF PREDICATIONENGLEBRETSEN G.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 614-616Article

COMPLEXITY OF THE UNIFICATION ALGORITHM FOR FIRST-ORDER EXPRESSIONS.VENTURINI ZILLI M.1975; CALCOLO; ITAL.; DA. 1975; VOL. 12; NO 4; PP. 361-371; BIBL. 4 REF.Article

FAILURE OF COMPLETENESS PROPERTIES OF INTUITIONISTIE PREDICATE LOGIE FOR CONSTRUCTIVE MODELS. PRELIMINARY REPORT.LEIVANT D.1975; STICHTG MATH. CENTRUM, AFD. ZUIVERE WISKDE; NEDERL.; DA. 1975; NO 48; PP. 1-22; BIBL. 1 P.Article

LAMBDA -CALCULS AND COMPUTER SCIENCE THEORY. PROCEEDINGS OF THE SYMPOSIUM; ROME; 1975.1975; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1975; VOL. 37; PP. (382P.); BIBL. DISSEM.; ISBN 3540074163Conference Paper

LES MODELES INFORMATIQUES DES LAMBDA -CALCULS.NOLIN L.1975; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1975; VOL. 37; PP. 166-176; (LAMBDA -CALCULS COMPUT. SCI. THEOR. PROC. SYMP.; ROME; 1975)Conference Paper

ZUR CHARAKTERISIERUNG SPEZIELLER SUPERPOSITIONS ABGESCHLOSSENER FUNKTIONENKLASSEN, DIE DER DURSCHNITT EINER ABSTEIGENDEN KETTE SIND, DURCH INVARIANTE RELATIONEN. = SUR LA CARACTERISATION DES CLASSES DE FONCTIONS SPECIALES FERMEES PAR SUPERPOSITION, FORMANT L'INTERSECTION D'UNE CHAINE DESCENDANTE, A L'AIDE DE RELATIONS INVARIANTESPOESCHEL R.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 703-708; ABS. ANGL. RUSSE; BIBL. 4 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974)Conference Paper

COMPLETENESS OF AN ANCIENT LOGICCORCORAN J.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 696-702; BIBL. 8 REF.Serial Issue

ARBORESCENCES ET LOGIQUE A TROIS VALEURS. APPLICATION A LA MODELISATION ET A L'ENSEIGNEMENT DE LA LOGIQUE DU DIAGNOSTICMONT REYNAUD BM.1972; ; S.L.; DA. 1972; PP. (206); BIBL. 3 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. APPL., MENTION INF.; UNIV. PARIS VI; 1972)Thesis

ASPECTS DE LA THEORIE DES MODELESHEIDEMA J.1972; T.NAT.-WETENSK.; S.AFR.; DA. 1972; VOL. 12; NO 2; PP. 37-49; ABS. ANGL.; BIBL. 10 REF.Serial Issue

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

A REMARK ON THE HAERTIG QUANTIFIERFUHRKEN G.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 3; PP. 227-228; BIBL. 7 REF.Serial Issue

ON THE CONSISTENCY OF AN IMPREDICATIVE SUBSYSTEM OF QUINE'S NFCRABBE M.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 131-136; BIBL. 15 REF.Article

AN ELIMINATION OF THE PREDICATE "TO BE A STANDARD MEMBER" IN NONSTANDARD MODELS OF ARITHMETICCUDA K.1982; COMMENTAT. MATH. UNIV. CAROL.; ISSN 0323-0171; CSK; DA. 1982; VOL. 23; NO 4; PP. 785-803; BIBL. 3 REF.Article

NOTE ON PROBABILISTIC PROOF PROCEDURE FOR THE FIRST ORDER PREDICATE CALCULUSVAN WESTRHENEN SC.1981; DELFT PROGR. REP.; ISSN 0304-985X; NLD; DA. 1981; VOL. 6; NO 3; PP. 170-176; BIBL. 7 REF.Article

SPEED-UP BY THEORIES WITH INFINITE MODELSSTATMAN R.1981; PROC. AM. MATH. SOC.; ISSN 0002-9939; USA; DA. 1981; VOL. 81; NO 3; PP. 465-469; BIBL. 3 REF.Article

GENERALIZED RESTRICTED GENERALITYBUNDER MW.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 620-624; BIBL. 5 REF.Article

THE NON-AXIOMATIZABILITY OF THE OBSERVATIONAL PREDICATE CALCULUS (GENERALIZED TRACHTENBROT'S THEOREMS).IVANEK J.1977; COMMENT. MATH. UNIV. CAROLINAE; CESKOSL.; DA. 1977; VOL. 18; NO 1; PP. 41-57; BIBL. 8 REF.Article