LECTURES ON MATHEMATICAL LOGIC - Felscher,Walter (Gordon And Breach Science Publishers, Australia, 2000)
V.1. Set Theoretical Logic - The Algebra Of Models.-- V.2. Calculi For Derivations And Deductions. -- V.3 The Logic Of Arithmetic
Keywords: Logic, Symbolic And Mathematical