Hi! Does anyone have a good reference on free logic? What I want is a formal treatment of free logic from a mathematical point of view, not philosophical. Best regards, Fredrik Engström