Symposium on Intuitionism and Proof Theory

ID:DA01163554

Alias Name

Buffalo Symposium

Search authors sharing the same name

Search Results1-1 of 1

  • Proof theory

    Gaisi Takeuti

    North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1987 2nd ed Studies in logic and the foundations of mathematics v. 81

    Available at 50 libraries

Page Top