Universes in Explicit Mathematics (1999)

by Gerhard Jäger , Reinhard Kahle , Thomas Studer
Venue:Annals of Pure and Applied Logic
Citations:8 - 5 self

Document Versions

Universes in Explicit Mathematics –Gerhard Jäger, Reinhard Kahle, Thomas Studer — 1999 — Annals of Pure and Applied Logic