The µ Quantification Operator in Explicit Mathematics With Universes and Iterated Fixed Point Theories With Ordinals (1998)

Cached

Download Links

by Markus Marzetta , Thomas Strahm
Citations:6 - 3 self