Search ResultsElectronic Resources 
Limit Search Results
by
International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)
Format:
Excerpt:
. Applications of Constructivity; Chapter 10. Constructive Mathematics and Computer Programming; PART 2. MODEL
by
Gabbay, Dov M., 1945-
Format:
Excerpt:
-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an
by
Dehaene, Stanislas.
Format:
Excerpt:
calculations. Perhaps most important, The Number Sense reaches many provocative conclusions that will intrigue
by
Ferrera, J.
ScienceDirect https://www.sciencedirect.com/science/book/9780444518613
Format:
Excerpt:
, the theory of algebraic multiplicities, global bifurcation theory, dynamics of periodic equations and
by
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
Format:
Excerpt:
Interpretation of Intuitionistic Number Theory; Chapter 12 Nonstandard Arithmetic and Generic Arithmetic; PART

Select an Action




