Universes in Explicit Mathematics (1999)

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