Ph:+61-3-9905-5206; Fax:+61-3-9905-5146
Room 227, Clayton School of IT, 25 Exhibition Walk, Clayton Campus
Photographs:
Exhibition and book
Composition and Context. Hindu-Arabic numerals and medieval musicology
Mathematical logic and theoretical computer science
Extracting programs from proofs
Book My classics
Logic
See
History of Mathematics
2. Chinese mathematics
The book is available NOW.
Please email me at the address at the top of the page.
 
Research interests
Previous
publications.
Also available from Amazon.
A full list of my publications is available on
request.
All enquiries to John.Crossley "at symbol" monash.edu
Iman Hafiz Poernomo, John Newsome Crossley and Martin Wirsing,
Adapting proofs-as-progams: The Curry-Howard protocol
2005, 420 pp.
Springer, New York.
What is mathematical logic?
with Chris Brickhill, Chris Ash(+), John Stillwell
and Neil Williams,
(Latest edition) Dover Books US$4.95 would you
believe!.
1. General
See my
The Emergence of Number,
World Scientific, Singapore, 1987.
See my translation (with Tony Lun) of
Chinese Mathematics: A Concise History,
by Li Yan and Du Shiran.
Oxford University Press, 1987.
Nine
Chapters on the Mathematical Art: Commentary and Companion
by Shen Kangshen, John N. Crossley and Anthony W.-C.
Lun,
Oxford University Press, Oxford, UK, ISBN: 0-19 853936 3.