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

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

Document Versions

Systems of explicit mathematics with non-constructive µ-operator. Part I –Solomon Feferman, Gerhard Jäger — 1993