introduction to formal logicunderstanding formal logicformal and transcendental logicformal deductive logica history of formal logicelementary formal logicformal symbolic logicformal logic for dummiesintro to formal logicformal logic computer scienceformal logic its scope and limitsrichard jeffrey formal logic