Results 231 to 240 of about 555,393 (246)

Can Constructive Mathematics be Applied in Physics?

Journal of Philosophical Logic, 1999
D. Bridges
semanticscholar   +1 more source

Foundations of Constructive Mathematics

, 1985
M. Beeson
semanticscholar   +1 more source

Continuity properties in constructive mathematics

Journal of Symbolic Logic (JSL), 1992
H. Ishihara
semanticscholar   +1 more source

Constructive Mathematics without Choice

, 2001
F. Richman
semanticscholar   +1 more source

Continuity and nondiscontinuity in constructive mathematics

Journal of Symbolic Logic (JSL), 1991
H. Ishihara
semanticscholar   +1 more source

Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics

Notre Dame J. Formal Log., 2016
Christian Espíndola
semanticscholar   +1 more source

Aspects of Constructive Mathematics

, 1977
A. Troelstra
semanticscholar   +1 more source

Sequentially Continuity in Constructive Mathematics

International Conference on Discrete Mathematics and Theoretical Computer Science, 2001
H. Ishihara
semanticscholar   +1 more source

Between constructive mathematics and PROLOG

Archive for Mathematical Logic, 1991
Gerhard Jäger
semanticscholar   +1 more source

On the mathematical competencies framework and its potentials for combining and networking with other theories and theoretical constructs

2023
Niss, Mogens, Jankvist, Uffe Thomas
openaire   +1 more source