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:5 - 3 self