Active filters
Displaying 13 of 13 results
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSM 95-200 v. 448-450 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call number*OVL 88-2220 | Item locationOffsite |
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
Text
Boston : Birkhäuser, 1993.
1993
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 94-8342 --- | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberD-17 2552 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 00-1435 | Item locationOffsite |
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
View all available online resourcesTractatus 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJME 17-306 | Item locationPerforming 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQA76.63.L59 L64 1993 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQA9.54 .P64 2005 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberPhil 5066.232.20 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberMT5.5 .G85 2017 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberMICROFILM 02977 | Item locationOff-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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberMICROFILM 02977 | Item locationOff-site |
No results found from Digital Research Books Beta
Digital books for research from multiple sources worldwide - all free to read, download, and keep. No library card required.
Explore Digital Research Books Beta