Geodesic

Studies in constructive mathematics and mathematical logic. Part XII

Sommaire

On a comparison of Darboux and Riemann integrals in constructive analysis
p. 7-16
On some continuity theorem for constructive functions
p. 17-34
Extended fuzzy constructive logic
p. 35-76
On a Diophantine representation of the predicate of provability
p. 77-104
Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to FP
p. 105-110
Cut for resolution method
p. 111-128