Filter By
Books (12)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Slave Race by Dwight Dale Miller 9780998491127
RRP: $12.89Booksplease Price: $11.39Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780998491127Author Dwight Dale MillerFormat PaperbackPage Count 212Imprint Infernal Soul Publishing... -
Programming with Higher-Order Logic by Dale Miller
RRP: $56.76Booksplease Price: $55.15Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems... -
John Stuart Mill: Moral, Social, and Political Thought by Dale Miller 9780745625836
Booksplease Price: $72.41This book offers a clear and highly readable introduction to the ethical and social-political philosophy of John Stuart Mill. Dale E. Miller argues for a "utopian" reading of Mill's... -
Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller 9781009561297
RRP: $77.40Booksplease Price: $68.37This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a... -
Effortless Mindfulness: Genuine Mental Health Through Awakened Presence by Lisa Dale Miller
RRP: $41.27Booksplease Price: $38.45Effortless Mindfulness promotes genuine mental health through the direct experience of awakened presence-an effortlessly embodied, fearless understanding of and interaction with the way things truly... -
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings by David Basin 9783540406648
Booksplease Price: $59.70This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspects... -
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings by Jerzy Marcinkowski 9783540230243
Booksplease Price: $60.09Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference series... -
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings by Manindra Agrawal 9783540002253
Booksplease Price: $59.70This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of... -
John Stuart Mill and the Art of Life by Ben Eggleston 9780195381245
Booksplease Price: $119.70The 'Art of Life' is John Stuart Mill's name for his account of practical reason. In this volume, eleven leading scholars elucidate this fundamental, but widely neglected, element of Mill's thought... -
Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings by Herbert R. Kuchen 9783540417392
Booksplease Price: $60.09ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,March 7{9,2001,andhostedbyWasedaUniversity... -
John Stuart Mill: Moral, Social, and Political Thought Dale E. Miller 9780745625843
RRP: $24.50Booksplease Price: $23.08This book offers a clear and highly readable introduction to the ethical and social-political philosophy of John Stuart Mill. Dale E. Miller argues for a "utopian" reading of Mill's utilitarianism... -
Mill on Nationality Georgios Varouxakis 9780415868198
RRP: $63.20Booksplease Price: $57.24John Stuart Mill's thought has been central in recent (as well as older) works of political theory discussing the relationship between liberal democratic politics and nationality or nationalism --...