EQUIVALENCE ELEMENTAIRE ET PRODUITS.LUCAS F.1978; C.R. ACAD. SCI., A; FRA; DA. 1978; VOL. 287; NO 2; PP. 41-42; ABS. ENG; BIBL. 6 REF.Article

LOGICAL TRUTH AND INDETERMINACY.BOER SE.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 85-94; BIBL. 6 REF.Article

TWO COMMENTS OF LEMMON'S BEGINNING LOGIC.COBURN B; MILLER D.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 607-610Article

SUR LA HAUTEUR DES STRUCTURES DENOMBRABLES.LASCAR D.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 285; NO 6; PP. 415-418; ABS. ANGL.; BIBL. 3 REF.Article

PRIOR AND THE BARCAN FORMULA.LICHTBLAU DE.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 622-624; BIBL. 3 REF.Article

DE QUELQUES PROBLEMES DE LA LOGIQUE MEDIEVALE.NARBUTT O.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 361-374; BIBL. 4 P.Article

ALTERNATIVE NOTATIONS FOR PRINEIPRIA MATHEMATICA DESCRIPTION THEORY: POSSIBLE MODIFICATIONS.SOBEL JH.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 476-478; BIBL. 2 REF.Article

MODELES ASSOCIES AUX ULTRAPUISSANCES ITEREES. SOLUTION D'UNE CONJECTURE DE BUKOVSKY.DEHORNOY P.1975; ; S.L.; DA. 1975; PP. 1-34; BIBL. 10 REF.; (THESE DOCT. 3E. CYCLE MATH. PURES; PARIS VII)Thesis

CLASSICAL LOGICAL RELATIONS.BAKER AJ.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 164-168Article

NEGATION, MATERIAL EQUIVALENCE, AND CONDITIONED NONCONJUNCTION: COMPLETENESS AND DUALITY.MASSEY GJ.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 140-144; BIBL. 3 REF.Article

HANF NUMBERS FOR OMITTING TYPES OVER PARTICULAR THEORIES.KNIGHT JF.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 583-588; BIBL. 11 REF.Article

TOWARDS FEASIBLE SOLUTIONS OF THE TAUTOLOGY PROBLEM.DUNHAM B; HAO WANG.1976; ANN. MATH. LOGIC; NETHERL.; DA. 1976; VOL. 10; NO 2; PP. 117-154; BIBL. 10 REF.Article

WHAT DOES OCKHAM MEAN BY "SUPPOSITION".MCCORD ADAMS M.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 375-391; BIBL. 1 P. 1/2Article

UNE ETUDE SUR DES STRUCTURES AYANT UNE CERTAINE PROPRIETE DE SEUIL POUR LES AUTOMORPHISMES ELEMENTAIRES.PAILLET JL.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 283; NO 5; PP. 225-231; ABS. ANGL.; BIBL. 7 REF.Article

AN ANALYSIS OF THE COUNTERFACTUAL CONDITIONAL.WASSERMAN HC.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 395-400; BIBL. 7 REF.Article

SIGNED STATES ON A LOGIC.DVURECENSKIJ A.1978; MATH. SLOV.; TCHECOSL.; DA. 1978; VOL. 28; NO 1; PP. 33-40; ABS. RUSSE; BIBL. 5 REF.Article

NON COMPLEX SEQUENCES: CHARACTERIZATION AND EXAMPLES.DALEY RP.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 626-638; BIBL. 16 REF.Article

ON DEFINABLE SUBSETS OF P-ADIC FIELDS.MACINTYRE A.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 605-610; BIBL. 10 REF.Article

"FORCING" ET RELATIONS GENERALES SUR UNE STRUCTURE W-CATEGORIQUE.POIZAT B.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 283; NO 5; PP. 223-224; ABS. ANGL.; BIBL. 1 REF.Article

A NOTE ON COUNTABLE COMPLETE THEORIES HAVING THREE ISOMORPHISM TYPES OF COUNTABLE MODELES.WOODROW RE.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 672-680; BIBL. 4 REF.Article

FIRST DEGREE FORMULAS IN CURRY'S LD.MEYER RK.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 181-191; BIBL. 10 REF.Article

NEXT P ADMISSIBLE SETS ARE OF COFINALITY W.GREEN J.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 175-176; BIBL. 2 REF.Article

THE "CONDITIONATIM"-CLAUSE: ONE OF THE PROBLEMS OF EXISTENTIAL IMPORT IN THE HISTORY OF LOGIC.BOH I.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 459-466Article

PARTITIONS DE LA DROITE REELLE EN F_SIGMA OU EN G_DELTA STERN J.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 284; NO 16; PP. 921-922; ABS. ANGL.; BIBL. 4 REF.Article

A NOTE ON THE COMPLETENESS PROOF FOR NATURAL DEDUCTION.BENNETT DW.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 1; PP. 145-147Article