Logic and structure - Dalen, Dirk Van (London Springer, 2013)
Keywords: Logic, Symbolic and mathematical