Handbook of the logic of argument and inference the turn towards the practical - Gabbay Dov M; Johnson Ralph H; Ohlbach Hans Jurgen; Woods John (Amsterdam Elsevier, 2002)
Keywords: Mathematical logic; Symbolic logic