A New Indefinite Semantics for HILBERT’s epsilon (2002)

by CLAUS-PETER WIRTH
Venue:11th TABLEAUX 2002, LNAI 2381