A note on assumptions about Skolem functions
Hans Jürgen Ohlbach, Christoph WeidenbachVolume:
15
Year:
1995
Language:
english
Pages:
9
DOI:
10.1007/bf00881919
File:
PDF, 617 KB
english, 1995