Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia: 450 (Lecture Notes in Mathematics)
by John N. Crossley
ISBN 13: 9783540071525
Format: Paperback (320 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)
by Iman Poernomo,John N. Crossley,Martin Wirsing
ISBN 13: 9780387237596
Format: Illustrated (436 pages) Publisher: Springer Published: 29 Jul 2005
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing
ISBN 13: 9781441920140
Format: Paperback (432 pages) Publisher: Springer Published: 19 Nov 2010