INDEMONTRABILITE DE L'EQUIPOTENCE ENTRE L'UNIVERS ET LA CLASSE DES ORDINAUX DANS LA THEORIE DES CLASSES DE KELLEY-MORSE AVEC SYMBOLE EPSILON DE HILBERT MAIS SANS AXIOME DE FONDATION.BOFFA M.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 282; NO 22; PP. 1255; ABS. ANGL.; BIBL. 2 REF.Article

NEGATION DISARMED.MEYER RK.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 184-190; BIBL. 5 REF.Article

A FIRST-ORDER LOGIC OF KNOWLEDGE AND BELIEF WITH IDENTITY. II.LEHMANN SK.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 207-221Article

CONSISTENT, INDEPENDENT, AND DISTINCT PROPOSITIONS. II.SHUKLA A.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 135-136Article

A CRITICISM OF SOMMERS'LANGUAGE TREE.COGAN R.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 308-310; BIBL. 21 REF.Article

A NOTE ON DEFINING THE RUDIN-KEISLER ORDERING OF ULTRAFILTERS.PELLETIER DH.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 284-286; BIBL. 4 REF.Article

SUR L'IDENTIFICATION DES CONTRADICTIONS DANS LES THEORIES FORMELLES. IIROZONOEHR LI.1983; AVTOMATIKA I TELEMEHANIKA; ISSN 0005-2310; SUN; DA. 1983; NO 7; PP. 97-104; ABS. ENG; BIBL. 10 REF.Article

A DIACHRONIC SEMANTICS FOR INEXACT REFERENCESHELTON L.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 67-88; BIBL. 19 REF.Article

SET THEORETIC ASPECTS OF ATR₀SIMPSON SG.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 255-271; BIBL. 28 REF.Conference Paper

ABAILARD'S THEORY OF UNIVERSALSMALONEY JC.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 27-38; BIBL. 9 REF.Article

SIGNIFICANCE RANGE THEORYBRADY RT.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 319-345; BIBL. 8 REF.Article

SIGNIFICANCE, NECESSITY AND VERIFICATIONGODDARD L.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 193-215; BIBL. 7 REF.Article

A NOTE ON GOEDEL'S SECOND INCOMPLETENESS THEOREMCELLUCCI C.1980; BOLL. UN. MAT. ITAL.; ITA; DA. 1980; VOL. 17A; NO 1; PP. 137-142; ABS. ITA; BIBL. 3 REF.Article

A WEAK FREE LOGIC WITH THE EXISTENCE SIGNBENCIVENGA E.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 572-576; BIBL. 6 REF.Article

GENERALIZATION IN FIRST-ORDER LOGICLEBLANC H.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 835-857; BIBL. 24 REF.Article

THE POSSIBILITY OF A CONDITIONAL LOGICBODE JR.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 147-154; BIBL. 2 REF.Article

BETH'S TABLEAUX FOR RELEVANT LOGICPABION JF.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 891-899; BIBL. 2 REF.Article

ON SOME SUBSTITUTION INSTANCES OF R1 AND L1.LENZEN W.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 159-164; BIBL. 11 REF.Article

A NOTE ON THE LAW OF IDENTITY AND THE CONVERSE PARRY PROPERTY.DOSEN K.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 174-176; BIBL. 3 REF.Article

THEORIES OF FINITE TYPE RELATED TO MATHEMATICAL PRACTICE.FEFERMAN S.1977; STUD. LOGIC. FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 913-971; BIBL. 3 P.Article

A MATHEMATICAL INCOMPLETENESS IN PEANO ARITHMETIC.PARIS J; HARRINGTON L.1977; STUD. LOGIC FOUND MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 1133-1142; BIBL. 2 REF.Article

ASPECTS OF CONSTRUCTIVE MATHEMATICS.TROELSTRA AS.1977; STUD. LOGIC FOUND MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 973-1052; BIBL. 5 P. 1/2Article

LARGE AND SMALL EXISTENTIALLY CLOSED STRUCTURES.SIMMONS H.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 379-390; BIBL. 14 REF.Article

ON FINITE LATTICES OF DEGREES OF CONSTRUCTIBILITY OF REALS.ADAMOWICZ Z.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 313-322; BIBL. 4 REF.Article

THE INFINITE IN JURY PRIORITY METHOD.SOARE RI.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 513-530; BIBL. 26 REF.Article