kw.\*:("THEORIE CONSTRUCTIVE")
Results 1 to 25 of 339
Selection :
ON THE CONSTRUCTIVE CONTRAPOSITIONS OF TWO AXIONS OF COUNTABLE CHOICEVELDMAN W.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 513-523; BIBL. 4 REF.Conference Paper
A NOTE ON BAR INDUCTION RULEHAYASHI S.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 149-163; BIBL. 3 P.Conference Paper
APPLICATIONS OF CONSTRUCTIVITYHYLAND JME.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 104; PP. 145-152; BIBL. 14 REF.Conference Paper
CONSTRUCTIVE APPROACH TO SUPERGRAVITYMILTON KA; URRUTIA LF; FINKELSTEIN RJ et al.1980; GEN. RELATIV. GRAVITAT.; GBR; DA. 1980; VOL. 12; NO 1; PP. 67-81; BIBL. 10 REF.Article
ITERATED INDUCTIVE FIXED-POINT THEORIES: APPLICATION TO HANCOCK'S CONJECTUREFEFERMAN S.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 171-196; BIBL. 16 REF.Conference Paper
NOTIONS OF CHOICE SEQUENCEFOURMAN MP.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 91-105; BIBL. 19 REF.Conference Paper
RECENT PROGRESS IN CONSTRUCTIVE APPROXIMATION THEORYBRIDGES DS.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 41-50; BIBL. 12 REF.Conference Paper
CONSTRUCTIVE ASSERTIONS IN AN AN EXTENSION OF CLASSICAL MATHEMATICSLIFSCHITZ V.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 2; PP. 359-387; BIBL. 14 REF.Article
CONSTRUCTIVE LOGIC VERSUS ALGEBRAIZATION. IKREISEL G; MACINTYRE A.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 217-260; BIBL. 2 P.Conference Paper
PROBLEMATIC PRINCIPLES IN CONSTRUCTIVE MATHEMATICSBEESON MJ.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 11-55; BIBL. 53 REF.Conference Paper
SOME EXTENSIONS OF MARKOV'S CONSTRUCTIVE CONTINUUM AND THEIR APPLICATIONS TO THE THEORY OF CONSTRUCTIVE FUNCTIONSKUSNER BA.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 261-273; BIBL. 13 REF.Conference Paper
THE TYPE THEORETIC INTERPRETATION OF CONSTRUCTIVE SET THEORY: CHOICE PRINCIPLESACZEL P.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 1-40; BIBL. 7 REF.Conference Paper
CONSTRUCTIVE MATHEMATICS AND COMPUTER PROGRAMMINGMARTIN LOEF P.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 104; PP. 153-175; BIBL. 12 REF.Conference Paper
MUTUAL TRANSFORMABILITY OF THE FORMULAS OF THE BASIC LANGUAGES OF CONSTRUCTIVE MATHEMATICAL LOGICGORGY FW; SAHYOUN AH.1981; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1981; VOL. 27; NO 6; PP. 489-494; BIBL. 9 REF.Article
RECURSIVE MODELS FOR CONSTRUCTIVE SET THEORIESBEESON M.1982; ANNALS OF MATHEMATICAL LOGIC; ISSN 0003-4843; NLD; DA. 1982; VOL. 23; NO 2-3; PP. 127-178; BIBL. 28 REF.Article
CONSTRUCTIVE AND RECURSIVE SCATTERED ORDER TYPESWATNICK R.1981; LECT. NOTES. MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 312-326; BIBL. 7 REF.Article
CONSTRUCTIVE CATEGORY THEORYKANDA A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 563-577; BIBL. 9 REF.Conference Paper
CONSTRUCTIVE MODELS FOR SET THEORY WITH EXTENSIONALITYGORDEEV L.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 123-147; BIBL. 2 P.Conference Paper
A CONSTRUCTIVE ANALYSIS OF THE REMES ALGORITHMBRIDGES DS.1981; J. APPROX. THEORY; ISSN 0021-9045; USA; DA. 1981; VOL. 32; NO 4; PP. 267-270; BIBL. 5 REF.Article
SEMANTICAL ANALYSIS OF CONSTRUCTIVE PDLNISHIMURA H.1982; PUBL. RES. INST. MATH. SCI.; ISSN 508233; JPN; DA. 1982; VOL. 18; NO 2; PP. 427-438; BIBL. 6 REF.Article
FIXED POINT THEOREMS ON CLOSED SETS THROUGH ABSTRACT CONES.EISENFELD J; LAKSHMIKANTHAM V.1977; APPL. MATH. COMPUT.; U.S.A.; DA. 1977; VOL. 3; NO 2; PP. 155-167; BIBL. 8 REF.Article
CONSTRUCTIVE AND EUCLIDEAN FIELD THEORY AND CONNECTIONS TO STATISTICAL MECHANICSFROEHLICH J.1981; PHYS. SCR.; ISSN 0031-8949; SWE; DA. 1981; VOL. 24; NO 5; PP. 879-880; BIBL. 31 REF.Conference Paper
EXTENSIONALITY AND CHOICE IN CONSTRUCTIVE MATHEMATICSBEESON M.1980; PAC. J. MATH.; ISSN 0030-8730; USA; DA. 1980; VOL. 88; NO 1; PP. 1-28; BIBL. 13 REF.Article
CONSTRUCTIVE FOUNDATIONS OF POTENTIAL THEORY.CHAN YK.1977; PACIF. J. MATH.; U.S.A.; DA. 1977; VOL. 71; NO 2; PP. 405-418; BIBL. 3 REF.Article
CONSTRUCTIVE FIELD THEORYJAFFE A.1980; LECTURE NOTES PHYS.; DEU; DA. 1980; NO 116; PP. 200-207; BIBL. 9 REF.Conference Paper