Universes in Explicit Mathematics (1999)
Cached
Download Links
- [iamwww.unibe.ch]
- [www.iam.unibe.ch]
- [www.iam.unibe.ch]
- [www.iam.unibe.ch]
- DBLP
Other Repositories/Bibliography
by
Gerhard Jäger
,
Reinhard Kahle
,
Thomas Studer
| Venue: | Annals of Pure and Applied Logic |
| Citations: | 7 - 5 self |
Document Versions
| Universes in Explicit Mathematics –Gerhard Jäger, Reinhard Kahle, Thomas Studer — 1999 — Annals of Pure and Applied Logic |
