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

by Solomon Feferman , Gerhard Jäger
Citations:49 - 18 self