TY - BOOK AU - Felscher, Walter. TI - Mathematical Logic, Lectures on- ; Vols.1-3; I:Set Theoretical Logic - Algebra of Models; Vol.II: Calculi for Derivations and Deductions; III: Logic of Arithmetic SN - 90 5699 268 6 CY - Netherlands KW - Logic, Symbolic and Mathematical ER -