Logic colloquim - Symposium on logic colloquim (1972-73 : Boston); Parikh, R. (Berlin : Springer-Verlag, 1975)
Keywords: Mathematical analysis; Mathematics -- Data processing; Electronic data processing