The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning

Logical Basis for Computer Programming, Volume... by Waldinger, Richard Hardback

The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning

Logic, form and function: The mechanization of deductive reasoning

Logic Inductive And Deductive

Elementary Lessons In Logic Deductive and Inductive 1904 W Stanley Jevons HC Vtg

Zohar Manna The Logical Basis for Computer Programming. VOLUME II : Deductive

Logic: Deductive and Inductive (Classic Reprint)