Systems of explicit mathematics with non-constructive µ-operator. Part I (1993)

by Solomon Feferman , Gerhard Jäger
Citations:48 - 16 self