ORDINAL ANALYSIS WITH AN INTRODUCTION TO PROOF THEORY

SPRINGER NATURE B.V.

TOSHIYASU ARAI

9789811564611

WORLD SCIENTIFIC PUBLISHING CO

ARAI TOSHIYASU/QI FENG ET AL TOSHIYASU A ARAI TOSHIYASU/QI FENG ET AL TOSHIYASU A

9789814360531

SPRINGER NATURE B.V.

TOSHIYASU ARAI

9789811564581