Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LOGIQUE MATHEMATIQUE")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 4725

  • Page / 189
Export

Selection :

  • and

ON THE LOGIC OF "FEW", "MANY", AND "MOST"PETERSON PL.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 155-179; BIBL. 14 REF.Article

LES ENSEMBLES GENERIQUES ASSOCIES AUX GERMES D'UNE FAMILLE D'ENSEMBLES DE CONDITIONS DE "FORCING".FAREL A.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 285; NO 10; PP. 649-651; ABS. ANGL.; BIBL. 5 REF.Article

SYSTEMES NORMAUX D'ENSEMBLES DE CONDITIONS DE "FORCING" ET APPLICATIONS AUX SUITES DECROISSANTES DE MODELES DE ZFC.SAKAROVITCH J.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 285; NO 9; PP. 589-592; ABS. ANGL.; BIBL. 7 REF.Article

DEFINITIONS OF SEMANTICAL REFERENCE AND SELF-REFERENCE.SKYRMS B.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 147-148Article

EFFECTIVE DENSITY TYPES.GONSHOR H.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 303-307; BIBL. 6 REF.Article

FREE PRODUCTS AND ELEMENTARY TYPES OF BOVLEAN ALGEBRAS.OLIN P.1976; MATH. SCAND.; DANEM.; DA. 1976; VOL. 38; NO 1; PP. 5-23; BIBL. 25 REF.Article

NEW TECHNIQUES AND RESULTS IN MULTIDIMENSIONAL PROBLEMS.BOSE NK.1976; J. FRANKLIN INST.; U.S.A.; DA. 1976; VOL. 301; NO 1-2; PP. 83-101; BIBL. 3 P.Article

ON THE ELIMINABILITY OF DERE MODALITIES IN SOME SYSTEMS.BROIDO J.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 79-88; BIBL. 7 REF.Article

ON THE RELATION BETWEEN FREE DESCRIPTION THEORIES AND STANDARD QUANTIFICATION THEORY.GRANDY RE.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 149-152; BIBL. 3 REF.Article

PRESUPPOSITION AND ENTAILMENT.BARKER JA.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 272-278; BIBL. 5 REF.Article

RECURSION THEORY ON ITERATIVE COMBINATORY SPACES.SKORDEV D.1976; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1976; VOL. 24; NO 1; PP. 23-31; ABS. RUSSE; BIBL. 12 REF.Article

RUSSELL ON THE MEANING OF DESCRIPTIONS.CRODDY S.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 424-428Article

SOME APPLICATIONS OF MODEL THEORY IN BANACH SPACE THEORY.STERN J.1976; ANN. MATH. LOGIC; NETHERL.; DA. 1976; VOL. 9; NO 1-2; PP. 49-121; BIBL. 12 REF.Article

THE RECURSIVELY ENUMERABLE ALPHA -DEGREES ARE DENSE.SHORE RA.1976; ANN. MATH. LOGIC; NETHERL.; DA. 1976; VOL. 9; NO 1-2; PP. 123-155; BIBL. 24 REF.Article

UN ESTUDIO DE LA LOGICA ALGEBRAICA DESDE EL PUNTO DE VISTA DE LA TEORIA DE CATEGORIAS.LAITA LM.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 89-118; ABS. ANGL.; BIBL. 10 REF.Article

GAMMA -COTHEORIES, TEST DE ROBINSON.GNANVO C.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 282; NO 20; PP. 1183-1184; ABS. ANGL.; BIBL. 5 REF.Article

THEORIE DES MODELES ET FAISCEAUX.REYES GE.1976; UNIV. CATHOL. LOUVAIN, SEMINAIRES MATH. PURE APPL., RAPP.; BELG.; DA. 1976; NO 63; PP. 1-22; BIBL. 3 REF.Article

A RECURSIVELY ENUMERABLE DEGREE WHICH WILL NOT SPLIT OVER ALL LESSER ONES.LACHLAN AH.1976; ANN. MATH. LOGIC; NETHERL.; DA. 1976; VOL. 9; NO 4; PP. 307-365; BIBL. 7 REF.Article

ALGEBRAIC SEMANTICS FOR S2O AND NECESSITATED EXTENSIONS.ROUTLEY R; MONTGOMERY H.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 44-58; BIBL. 8 REF.Article

IMPLEMENTATION OF LUKASIEWICZ'S, KLEENE'S AND MCCARTHY'S 3-VALUED LOGICS.NAGATA M; NAKANISHI M; NISHIMURA T et al.1975; SCI. REP. TOKYO KYOIKU DAIGAKU, A; JAP.; DA. 1975; VOL. 13; NO 347-365; PP. 90-99; BIBL. 11 REF.Article

MODEL THEORY AND TOPOI. A COLLECTION OF LECTURES BY VARIOUS AUTHORS.1975; LECTURE NOTES MATH.; GERM.; DA. 1975; NO 445; PP. 1-354; BIBL. DISSEM.; ISBN 3540071644Article

ON (M,N)-PRODUCTS OF BOOLEAN ALGEBRAS.SOKOLOWSKI K.1975; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1975; VOL. 23; NO 12; PP. 1227-1228; ABS. RUSSE; BIBL. 4 REF.Article

ON PRIMITIVE RECURSIVE WORDFUNCTIONS.HENKE FWV; INDERMARK K; ROSE G et al.1975; COMPUTING; AUSTR.; DA. 1975; VOL. 15; NO 3; PP. 217-234; ABS. ALLEM.; BIBL. 22 REF.Article

STRUTURES FOR A LOGIC WITH ADDITIONAL GENERALIZED QUANTIFIER.BROESTERHUIZEN G.1975; COLLOQ. MATH.; POLOGNE; DA. 1975; VOL. 33; NO 1; PP. 1-12; BIBL. 3 REF.Article

A NOTE ON FUTURE BRANCHING TIME.KESSLER G.1975; THEORIA; SUEDE; DA. 1975; VOL. 41; NO 2; PP. 89-95; BIBL. 5 REF.Article

  • Page / 189