Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice

Saved in:
Bibliographic Details
Published in:Annals of Mathematical Logic 1980-11, Vol.19 (1), p.33-65
Main Author: Hayashi, Susumu
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0003-4843
0168-0072
1878-3767
DOI:10.1016/0003-4843(80)90019-4