Implicit proofs (0)

by J Krajíček
Venue:Journal of Symbolic Logic