1
Published 2009
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical / Congresses...

2
Published 1999
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical / Congresses...

3
Published 1999
Cambridge University Press
Table of Contents: ...An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could...

4
Published 1996
Cambridge University Press
...London Mathematical Society lecture note series...