Implicit proofs (0)

by J Krajicek
Venue:Journal of Symbolic Logic