Menu

Jean Goubault-Larrecq

2 published titles

Proof theory and automated deduction

1 edition

  • ISBN: 0792345932
  • Kluwer Academic
  • 1997
  • Details

Non-Hausdorff topology and domain theory

1 edition

  • ISBN: 9781107034136
  • Cambridge University Press
  • 2013
  • Details

obnb.uk is a Good Stuff website.