Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Hyland John Martin Elliott)
Results:1items
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.
v. 87. - Amsterdam : North-Holland , 1977. - New York : Elsevier North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 87)
Books