"Program Development in the Constructive Set Theory TK."

Martin C. Henson (1989)

Details and statistics

DOI: 10.1007/BF01887204

access: open

type: Journal Article

metadata version: 2022-05-09