Menu

Gernot Salzer

1 published title

Automated deduction in classical and non-classical logics : selected papers

(Contributor)

1 edition

  • ISBN: 3540671900
  • Springer
  • 2000
  • Details

obnb.uk is a Good Stuff website.