Search ResultsElectronic Resources 
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

Select an Action





