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_DELTASTERN 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

CATEGORICITY REGAINED.ELLENTUCK E.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 639-643; BIBL. 7 REF.Article

EPISTEMIC LOGIC WITH IDENTIFIERS.MCLELLAND J.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 321-343; BIBL. 8 REF.Article

RECURSIVENESS IN PI ₁¹ PATHS THROUGH THETAFRIEDMAN H.1976; PROC. AMER. MATH. SOC.; U.S.A.; DA. 1976; VOL. 54; PP. 311-315; BIBL. 7 REF.Article

INTERSECTIONS D'ULTRAPUISSANCES ITEREES DE MODELES DE LA THEORIE DES ENSEMBLES.DEHORNY P.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 282; NO 17; PP. 935-937; ABS. ANGL.; BIBL. 5 REF.Article

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 FURTHER EXAMINATION OF SACCHERI'S USE OF THE "CONSEQUENTIA MIRABILIS".HOORMANN CFA JR.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 239-247; BIBL. 18 REF.Article

A HEURISTIC PROCEDURE FOR NATURAL DEDUCTION DERIVATION USING REDUCTIO AD ABSURDUM.GILBERT MA.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 638-639Article

A LOGIC OF BELIEF.BLUM A.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 344-348Article

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

A NOTE ON THE ADEQUACY OF TRANSLATIONS.FRANK W.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 249-250; BIBL. 3 REF.Article

A SHORT EQUATIONAL AXIOMATIZATION OF MODULAR ORTHOLATTICES.SOBOCINSKI B.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 311-316; BIBL. 7 REF.Article

EXTENED CONTINUOUS LOGIC AND THE THEORY OF COMPLEX CRITERIA.DUJMOVIC JJ.1975; UNIV. BEOGRADU, PUBL. ELEKTROTEH. FAK., MAT. FIZ.; JUGOSL.; DA. 1975; NO 498-541; PP. 197-216; BIBL. 10 REF.Article

ON SOME PROPERTIES OF (Z,Q)-MACHINES AND (Z,Q)-COMPUTABLE FUNCTIONS.STANKIEWICZ E.1975; PRACE C.O.P.A.N.; POLSKA; DA. 1975; NO 201; PP. 1-24; ABS. RUSSE POL.; BIBL. 7 REF.Article

UNE FORMALISATION DES FONDEMENTS PAR LES LOGIQUES INTERNES.MIJOULE R.1975; C.R. ACAD. SCI., A; FR.; DA. 1975; VOL. 281; NO 24; PP. 1071-1073; ABS. ANGL.; BIBL. 6 REF.Article

ULTRAPRODUKTE IN DER THEORIE DER LOGISCHEN AUSWAHLFUNKTIONEN. = ULTRAPRODUITS DANS LA THEORIE DES FONCTIONS CHOIX LOGIQUESSCHWARTZ D.1975; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1975; VOL. 21; NO 5; PP. 385-394; BIBL. 5 REF.Article

UNTERSUCHUNGEN ZU LOGIKEN MIT MAECHTIGKEITSQUANTOREN. = ETUDE DE LOGIQUES AVEC QUANTIFICATEURS DE PUISSANCEWOLTER H.1975; WISSENSCH. Z. HUMBOLDT-UNIV. BERLIN, MATH.-NATURWISSENSCH. REIHE; DTSCH.; DA. 1975; VOL. 24; NO 6; PP. 788-794; ABS. RUSSE ANGL. FR.; BIBL. 12 REF.Article

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

Page / 126