Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Extensionality and choice in constructive mathematics
Home
Publications
Extensionality and choice in constructive mathematics
Extensionality and choice in constructive mathematics
MB
Michael Beeson
Michael Beeson
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 May 1980
journal article
Published by
Mathematical Sciences Publishers
in
Pacific Journal of Mathematics
Vol. 88
(1)
,
1-28
https://doi.org/10.2140/pjm.1980.88.1
Abstract
No abstract available
Keywords
CHOICE IN CONSTRUCTIVE MATHEMATICS
EXTENSIONALITY AND CHOICE IN CONSTRUCTIVE
Cited by 5 articles