Search results for: Vesley, Richard Eugene, 1932-

Showing 1 - 2 results of 2 Refine Results
  1. 1

    The foundations of intuitionistic mathematics : especially in relation to recursive functions

    Authors: Kleene, Stephen Cole, 1909-1994
    Published: North-Holland Pub. Co., 1965
    Other Authors: “…Vesley, Richard Eugene, 1932-…”
    Physical Description: viii, 206 pages ; 23 cm.
    Book
  2. 2

    Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968

    Published: North-Holland Pub. Co., 1970
    Other Authors:
    Physical Description: viii, 516 pages ; 23 cm.
    Conference Proceeding Book