edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen

Elsevier 1994 Studies in logic and the foundations of mathematics v. 133

所蔵館32館