2000 - Derivation and Computation Taking the Curryhoward Correspondence Seriously [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521771733 ISBN-10: 0521771730 Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores ? Derivatives Nuclei and Dimensions on the Frame of Torsion Theories [Pitman Research Notes in Mathematics Series] (Paperback) ISBN-13: 9780582034488 ISBN-10: 0582034485 ? Orthodoxy in Australia [Nicholas E. Kulukundis Lectures in the History of Hellenism] (Paperback) ISBN-13: 9780917653209 ISBN-10: 0917653203 Genres: History, Christian Books & Bibles ? |