kw.\*:(%22CALCUL PREDICAT%22)
Results 1 to 25 of 4051
Selection :
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
ON BARINDUCTION OF HIGHER TYPES FOR DECIDABLE PREDICATESSCARPELLINI B.1973; ANN. MATH. LOGIC; NETHERL.; DA. 1973; VOL. 5; NO 2; PP. 77-163; BIBL. 11 REF.Serial Issue
A REDUCTION THEOREM FOR PREDICATE LOGICLOB MH.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 2; PP. 352-354Serial Issue
CRITERE DE COMPLETUDE FONCTIONNELLE DANS LA LOGIQUE CLASSIQUE DES PREDICATS DU PREMIER ORDREKUZNETSOV AV; RATSA MF.1979; DOKL. AKAD. NAUK SSSR; ISSN 0002-3264; SUN; DA. 1979; VOL. 249; NO 3; PP. 540-544; BIBL. 14 REF.Article
Zum Problem des Prädikats in der modernen burmesischen Umgangssprache = Le problème du prédicat dans la langue courante birmane moderneFUNGK, H.Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung. 1991, Vol 44, Num 2, pp 190-195, issn 0044-331XArticle
STRICT-PI 11 PREDICATES ON COUNTABLE AND COFINALITY OMEGA TRANSITIVE SETS.GRANT PW.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 2; PP. 161-173; BIBL. 18 REF.Article
De l'existence des prédicats d'achèvements = On the existence of achievement predicatesHAAS, Pauline; JUGNET, Anne.Lingvisticae investigationes (Print). 2013, Vol 36, Num 1, pp 56-89, issn 0378-4169, 34 p.Article
The discourse-semantics of predicate adjective clauses in RussianUEDA, M.Welt der Slaven. 1994, Vol 39, Num 1, pp 72-94, issn 0043-2520Article
La notion de modifieur obligatoire dans les phrases à verbe support avoir complexes = Noun predicates with compulsory modifier: complex sentences with support verb avoirGIRY-SCHNEIDER, J.Langages (Paris). 1996, Vol 30, Num 121, pp 19-34, issn 0458-726XArticle
L'introduction des notions de sujet et prédicat dans la grammaire médiévale = Introduction of subject and predicate notions in medieval grammarROSIER, I.Archives et documents de la Société d'histoire et d'épistémologie des sciences du langage. 1994, Num 10, pp 81-119, issn 0247-8897Article
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
IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article
LE PRÉDICAT. COMMENT SORTIR DE LA TOUR DE BABEL ? = THE PREDICATE. HOW TO GO OUT OF THE TOWER OF BABEL?MAILLARD, Michel.Lidil (Grenoble). 2008, Num 37, pp 23-43, issn 1146-6480, 21 p.Article
Representability of a fuzzy predicate from a category with fuzzy subsetsMBILA-MAMBU MAWANDA.Fuzzy sets and systems. 1992, Vol 46, Num 1, pp 63-71, issn 0165-0114Article
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