THE UNPROVABILITY IN INTUITIONISTIC FORMAL SYSTEMS OF THE CONTINUITY OF EFFECTIVE OPERATIONS ON THE REALS.BEESON M.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 18-24; BIBL. 5 REF.Article

SOME PRESERVATION RESULTS FOR CLASSICAL AND INTUITIONISTIC SATISFIABILITY IN KRIPKE MODELSMARKOVIC Z.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 3; PP. 395-398; BIBL. 6 REF.Article

HEYTING VALUED UNIVERSES OF INTUITIONISTIC SET THEORYTAKEUTI G; TITANI S.1981; LECT. NOTES MATTR.; ISSN 0075-8434; DEU; DA. 1981; NO 891; PP. 189-306; BIBL. 5 REF.Conference Paper

INTUITIONISTIC THEORIES AND TOPOSESUESU T.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; NO 891; PP. 323-358; BIBL. 11 REF.Conference Paper

ELEMENTS OF INTUITIONISTIC ANALYSIS. ROLLE'S THEOREM AND COMPLETE, TOTALLY BOUNDED, METRIC SPACES.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 4; PP. 289-298; BIBL. 4 REF.Article

A HERBRAND THEOREM FOR PRENEX FORMULAS OF LJ.BOWEN KA.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 263-266; BIBL. 4 REF.Article

UN SISTEMA DI DEDUZIONE NATURALE PER LINGUAGGI INFINITARI. = UN SYSTEME DE DEDUCTION NATURELLE POUR DES LANGAGES INFINITAIRESARZARELLO F.1975; ATTI ACCAD. SCI. TORINO, CL. SCI. FIS. MAT. NAT.; ITAL.; DA. 1975; VOL. 109; NO 5-6; PP. 633-641; ABS. ANGL.; BIBL. 6 REF.Article

SUR LA LOGIQUE DE HEYTINGNADIU GS.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 41-70; BIBL. 9 REF.Book

FORMULAS OF ONE PROPOSITIONAL VARIABLE IN INTUITIONISTIC ARITHMETICDE JONGH DHJ.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 51-64; BIBL. 2 P.Conference Paper

L.E.J. BROUWER, THE SIGNIFIC INTERLUDEVAN STIGT WP.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 505-512; BIBL. 14 REF.Conference Paper

SOME NON-CLASSICAL CONNECTIVES FOR INTUITIONISTIC MODAL LOGICFONT JM.1982; WORLD CONFERENCE ON MATHEMATICS AT THE SERVICE OF MAN. 2/1982-06-28/LAS PALMAS; ESP; DA. 1982; PP. 285-287; BIBL. 8 REF.Conference Paper

AN APPLICATION OF PROJECTIONS OF LAWLESS SEQUENCESVAN DER HOEVEN GF.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 487-503; BIBL. 14 REF.Conference Paper

FIRST-DEGREE ENTAILMENTS AND INFORMATIONHANSON WH.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 4; PP. 659-671; BIBL. 12 REF.Article

THE THEORY OF THE GOEDEL FUNCTIONALS.GOODMAN ND.1976; J. SYMBOL. LOGIE; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 574-582; BIBL. 6 REF.Article

FAILURE OF COMPLETENESS PROPERTIES OF INTUITIONISTIE PREDICATE LOGIE FOR CONSTRUCTIVE MODELS. PRELIMINARY REPORT.LEIVANT D.1975; STICHTG MATH. CENTRUM, AFD. ZUIVERE WISKDE; NEDERL.; DA. 1975; NO 48; PP. 1-22; BIBL. 1 P.Article

LANGAGE DELTA AVEC DES CONNECTEURS INTUITIONNISTESNEPEJVODA NN.1975; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1975; VOL. 220; NO 1; PP. 41-43; BIBL. 6 REF.Article

ASPECT CONSTRUCTIF DES NOTIONS DE EPSILON -ENTROPIE ET DE EPSILON -CAPACITEKREJNOVICH V YA.1974; ZAP. NAUCH. SEMINAR. LENINGRAD. OTDEL. MAT. INST. V.A. STEKLOVA; S.S.S.R.; DA. 1974; VOL. 40; PP. 38-44; ABS. ANGL.; BIBL. 1 P.Article

MODEL THEORY FOR INTUITIONISTIC LOGICGABBAY DM.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 1; PP. 49-54; BIBL. 7 REF.Serial Issue

A NOTE ON INTUITIONISTIC MODELS OF ZFLAVENDHOMME R; LUCAS T.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 54-66; BIBL. 7 REF.Article

PRIMALITY AND INVERTIBILITY OF POLYNOMIALSRUITENBURG W.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 413-434; BIBL. 13 REF.Conference Paper

EXTENDED BAR INDUCTION OF TYPE ZEROTROELSTRA AS.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 277-316; BIBL. 2 P.Conference Paper

A CLASS OF INTUITIONISTIC CONNECTIVESDE JONGH DHJ.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 103-111; BIBL. 9 REF.Conference Paper

ELEMENTS OF INTUITIONISTIC ANALYSIS. II. THE STONE-WEIERSTRASS THEOREM AND ASCOLI'S THEOREM.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 6; PP. 501-508; BIBL. 5 REF.Article

PROBABILITY THEORY, INTUITIONISM, SEMANTICS, AND THE DUTCH BOOK ARGUMENTMORGAN CG; LEBLANC H.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 3; PP. 289-304; BIBL. 18 REF.Article

ON THE ORIGIN AND DEVELOPMENT OF BROUWER'S CONCEPT OF CHOICE SEQUENCETROELSTRA AS.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 465-486; BIBL. 4 P.Conference Paper