John N. Crossley (Crossley, John N.)

• 
  Adapting Proofs-As-Programs: The Curry-Howard Protocol
  

  by John N. Crossley , M. Wirsing, Iman Hafiz Poernomo

  ISBN 0387237593 (0-387-23759-3)
  Hardcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Adapting Proofs-As-Programs: The Curry-Howard Protocol'
• 
  Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
  

  by John N. Crossley , Australian Mathematical Society

  ISBN 0387071520 (0-387-07152-0)
  Hardcover, Springer-Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia'
• 
  Chinese Mathematics: A Concise History
  

  by Du Shiran, John N. Crossley , Anthony W.-C Lun, Li Yan

  ISBN 0198581815 (0-19-858181-5)
  Hardcover, Oxford Univ Pr

  
  Find All Copies

   

  › Find collectible copies of 'Chinese Mathematics: A Concise History'
• 
  Combinatorial Functors
  

  by John N. Crossley , Anil Nerode

  ISBN 0387064281 (0-387-06428-1)
  Hardcover, Springer-Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Combinatorial Functors'
• 
  History of Mathematics and Related Sciences: An Annotated Bibliography of Sources Held by Monash University Library
  

  by Gordon C. Smith, John N. Crossley

  ISBN 0732602769 (0-7326-0276-9)
  Softcover, Monash University Library

  
  Find All Copies

   

  › Find collectible copies of 'History of Mathematics and Related Sciences: An Annotated Bibliography of Sources Held by Monash University Library'
• 
  Logical Methods
  

  by John N. Crossley , Jeffrey B. Remmel

  ISBN 0817636900 (0-8176-3690-0)
  Hardcover, Birkhauser

  
  Find All Copies

   

  › Find collectible copies of 'Logical Methods'

  More editions of Logical Methods:

  • Logical Methods: ISBN 3764336900 (3-7643-3690-0)
    Hardcover, Birkhauser Verlag AG
• 
  via
  The Nine Chapters on the Mathematical Art: Companion and Commentary
  

  by John N. Crossley , Anthony W.-C Lun, Shen Kangshen, Hui Liu, Kang-Shen Shen

  ISBN 0198539363 (0-19-853936-3)
  Hardcover, Oxford Univ Pr

  
  Find All Copies

   

  › Find collectible copies of 'The Nine Chapters on the Mathematical Art: Companion and Commentary'

  More editions of The Nine Chapters on the Mathematical Art: Companion and Commentary:

  • The Nine Chapters on the Mathematical Art: Companion and Commentary: ISBN 7030061012 (7-03-006101-2)
    Hardcover, Oxford University Press
• 
  What Is Mathematical Logic?
  

  by John N. Crossley

  ISBN 0198880871 (0-19-888087-1)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'What Is Mathematical Logic?'