Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process.
A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in...

Stanislaw Lesniewski (1886-1939) was one of the leading Polish logicians and founders of the Warsaw School of Logic whose membership included, beside himself, Jan Lukasiewicz, Tadeusz Kotarbinski, Alfred Tarski, and many others. In his lifetime LeSniewski published only a few hundred pages. He produced many important results in many areas of mathematics; these stood in various relations to each other, and to materials produced by others, and, in time, created more and more editorial problems. Very many were left unpublished at the time of his death. Then in 1944 in the fire of Warsaw the...

Inventing the PC details the invention and design of the MCM/70 computer and the prolonged struggle to bring it to market. Zbigniew Stachniak offers an insider's view of events on the front lines of pioneering work on personal computers. He shows what information and options PC pioneers had, how well they understood what they were doing, and how that understanding - or lack thereof - shaped both their engineering ingenuity and the indecisiveness and over-reaching ambition that would ultimately turn a very promising venture into a missed opportunity. Providing comprehensive historical...