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
by
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
Format:
Excerpt:
MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard

Select an Action





