Arno Schmitt, Rudi A. Lang, "Logic Element Technology: A text and reference book on logic elements (Hydraulic Trainer, Volume 4)" 1989 | pages: 134 | ISBN: 3802302915 | PDF | 9,1 mb
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) by Richard Bornat English | September 29, 2005 | ISBN: 0198530277 | 264 pages | PDF | 2.57 MB