Natural deduction - Anderson, John Mueller; Johnstone, Henry W. (Belmont, Ca. Wadsworth Publishing Co., 1962)
1
Keywords: Logic, Symbolic and mathematical; Metamathematics