Search - List of Books by John N. Crossley

Total Books: 8
Adapting Proofs-as-Programs The Curry--Howard Protocol
2010 - Adapting Proofs-as-programs the Curry--howard Protocol [Monographs in Computer Science] (Paperback)Hardcover
ISBN-13: 9781441920140
ISBN-10: 1441920145
  ?

The Nine Chapters on the Mathematical Art Companion and Commentary
What is Mathematical Logic
1972 - What Is Mathematical Logic (Paperback)Paperback, Hardcover
ISBN-13: 9780198880875
ISBN-10: 0198880871
Genres: Science & Math, Politics & Social Sciences
  ?

Constructive Order Types
Constructive Order Types (Hardcover)
ISBN-13: 9780720422511
ISBN-10: 0720422515
  ?

Growing Ideas of Number
Growing Ideas of Number [The Emergence of Number] (Paperback)
ISBN-13: 9780864317094
ISBN-10: 0864317093
  ?

The Emergence of Number
The Emergence of Number (Paperback)
ISBN-13: 9789971504144
ISBN-10: 9971504146
Genre: Science & Math
  ?