Home Advanced Search

Advanced Search - Page 1

The Nature of Mathematical Proof
  • PDF
  • English
  • Year: 2005
  • Author: Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors)
The Computer Modelling of Mathematical Reasoning
  • PDF
  • English
  • Year: 1986
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
The Future of the Judicial System of the European Union
  • PDF
  • English
  • Year: 2001
  • Author: Alan Dashwood; Angus Johnston (editors)
Collected Works: Volume 2: K-Theory
  • DJVU
  • English
  • Year: 1987
  • Author: Michael Atiyah
Michael Atiyah: Collected Works: Volume 4: Index Theory 2
  • DJVU
  • English
  • Year: 1988
  • Author: Michael Atiyah
Introduction To Commutative Algebra
  • PDF
  • English
  • Year: 2018
  • Author: Atiyah, Michael
Collected Works: Volume 3: Index Theory: 1
  • DJVU
  • English
  • Year: 1987
  • Author: Michael Atiyah