Columbia subject headings:
Intuitionistic mathematics--Congresses.
Kleene, Stephen Cole, 1909-1994.
Recursion theory--Congresses.
Harvard subject headings:
Intuitionistic mathematics--Congresses.
Kleene, Stephen Cole, 1909-
Kleene, Stephen Cole, 1909-1994.
Recursion theory--Congresses.
Princeton subject headings:
Intuitionistic mathematics--Congresses.
Kleene, Stephen Cole, 1909-1994.
Recursion theory--Congresses.