Varieties of constructive mathematics

Saved in:
Bibliographic Details
Main Author: Bridges, Douglas
Format: Book
Published: Cambridge Univ. Pr. 1987
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!