A note on assumptions about Skolem funct
✍
Hans Jürgen Ohlbach; Christoph Weidenbach
📂
Article
📅
1995
🏛
Springer Netherlands
🌐
English
⚖ 617 KB