Logic and proof - Bittinger M L (London Addison-Wesley, 1970)
Keywords: Mathematical logic; Symbolic logic