'The Conversations' is an introduction to the topics of love, evil and human nature recounted through a narrative between Taoist Master Fu Hsiang and his two students, Li Chen and Zhi Peng. Dr Mark Tarver has studied Taoist arts for over 20 years and holds higher degrees in philosophy and science. Details of his work and courses can be found at the School of Internal Alchemy (www.schoolofinternalalchemy.com)

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.