kw.\*:("LOGIQUE MATHEMATIQUE")
Results 1 to 25 of 3145
Selection :
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 FSIGMA OU EN GDELTA 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
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 11 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