Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-13 of 13 results for author "Crossley, John N."
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 448-450 Offsite Chinese mathematics : a concise history / by Lĭ Yăn and Dù Shírán ; translated by John N. Crossley and Anthony W.-C. Lun.
- Text
- Oxford [Oxfordshire] : Clarendon Press ; New York : Oxford University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text *OVL 88-2220 Offsite Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
- Text
- Boston : Birkhäuser, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JFE 94-8342 --- Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text D-17 2552 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
The nine chapters on the mathematical art : companion and commentary / Shen Kangsheng, John N. Crossley, Anthony W.-C. Lun.
- Text
- Oxford [England] ; New York : Oxford University Press ; Beijing, People's Republic of China : Science Press, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1435 Offsite Communities of learning [electronic resource] : networks and the shaping of intellectual identity in Europe, 1100-1500 / edited by Constant J. Mews and John N. Crossley.
- Text
- Turnhout : Brepols, c2011.
- 2011
- 2 Resources
Available Online
See All Available Online Resources
Tractatus de tonis = Treatise on the tones / Guy of Saint-Denis ; edited and translated by Constant J. Mews, Carol J. Williams, John N. Crossley, and Catherine Jeffreys.
- Text
- Kalamazoo, Michigan : Medieval Institute Publications, Western Michigan University, [2017]
- 2017-2017
- 1 Item
Item details Format Call Number Item Location Text JME 17-306 Performing Arts Research Collections - Music Available - Can be used on site. Please visit New York Public Library - Performing Arts Research Collections to submit a request in person.
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley [and others], editors.
- Text
- Boston : Birkhäuser, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.63.L59 L64 1993 Off-site Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.
- Text
- New York : Springer Science+Business Media, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA9.54 .P64 2005 Off-site Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965. Edited by John N. Crossley.
- Text
- Amsterdam, North-Holland Pub. Co., 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text Phil 5066.232.20 Off-site Tractatus de tonis = Treatise on the tones / Guy of Saint-Denis ; edited and translated by Constant J. Mews, Carol J. Williams, John N. Crossley, and Catherine Jeffreys.
- Text
- Kalamazoo, Michigan : Medieval Institute Publications, Western Michigan University, [2017]
- 2017-2017
- 1 Item
Item details Format Call Number Item Location Text MT5.5 .G85 2017 Off-site Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text MICROFILM 02977 Off-site Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text MICROFILM 02977 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
