2 books • 2 series
Logic, Methodology and Philosophy of Science IX (Studies in Logic and the Foundations of Mathematics)
Natural Deduction (Dover Books on Mathematics)