Columbia subject headings:
Computable functions--Congresses.
Logic, Symbolic and mathematical--Congresses.
Mathematics--Philosophy--Congresses.
Harvard subject headings:
Computable functions--Congresses.
Logic, Symbolic and mathematical--Congresses.
Mathematics--Philosophy--Congresses
Princeton subject headings:
Computable functions--Congresses.
Logic, Symbolic and mathematical--Congresses.
Mathematics--Philosophy--Congresses.