WorldCat Identities

Hyland, John Martin Elliott

Overview
Works: 13 works in 29 publications in 2 languages and 379 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA9.A1, 511.3
Publication Timeline
Key
Publications about  John Martin Elliott Hyland Publications about John Martin Elliott Hyland
Publications by  John Martin Elliott Hyland Publications by John Martin Elliott Hyland
Most widely held works by John Martin Elliott Hyland
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 by Logic Colloquium. [1976. Oxford.] ( Book )
14 editions published in 1977 in 3 languages and held by 359 WorldCat member libraries worldwide
Logic colloquium 76 : proceedings of a conference held in Oxford, (19th to 30th) July 1976 ( Book )
1 edition published in 1977 in English and held by 4 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, 87 Provability, Computability and Reflection. Symposium Proceedings by R. O Gandy ( )
1 edition published in 1977 in English and held by 3 WorldCat member libraries worldwide
Algebraic types in PEM models by Martin Hyland ( Book )
3 editions published in 1988 in English and Undetermined and held by 2 WorldCat member libraries worldwide
Recursion Theory on the Countable Functionals by J.M.E Hyland ( Book )
2 editions published in 1975 in English and held by 2 WorldCat member libraries worldwide
106 years of comedy! 3rd annual one-act festival ( Visual )
1 edition published in 2001 in English and held by 1 WorldCat member library worldwide
Logic Colloquium 76 : proceedings of a conference. by Logic Colloquium ( Book )
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
Science speaking right or remaining silent by Martin Hyland ( Book )
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
Logic Colloquium '76 ( Book )
1 edition published in 1977 in Undetermined and held by 1 WorldCat member library worldwide
Shaves. Fibered categories. Categorical logic and type theory by Giuseppe Rosolini ( Book )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
Logic Colloquium 1976 : proceedings of a conference held in Oxford in July 1976 ( Book )
1 edition published in 1977 in English and held by 1 WorldCat member library worldwide
Measurement of neutron orbit sizes from the study of the sub-coulomb -t, d- reaction by Martin Hyland ( Book )
1 edition published in 1977 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Logic Coll ... to 1.00 for Logic Coll ...)
Languages
English (25)
Italian (1)
Covers