Name: toolbox
Title: A theory of subsets on an intuitionistic and predicative foundation
Author: Ferruccio Guidi
Email: fguidi@cs.unibo.it
Homepage: http://www.cs.unibo.it/~fguidi
Institution: Department of Computer Science, University of Bologna
Address: Mura Anteo Zamboni 7, 40127 Bologna, ITALY
Date: March 31, 2005 
Description:
Url:
Keywords: subsets, toolbox
Version: 7.3.1
Require: