Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("THEORIE CONSTRUCTIVE")

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

Results 1 to 25 of 339

  • Page / 14
Export

Selection :

  • and

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

  • Page / 14