×

zbMATH — the first resource for mathematics

Constructive mathematics and computer programming. (English) Zbl 0552.03040
Reprint from Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 153-175 (1982; Zbl 0541.03034).

MSC:
03F55 Intuitionistic mathematics
03F50 Metamathematics of constructive systems
68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
PDF BibTeX XML Cite
Full Text: DOI