Online Library TheLib.net » General logic: An introductory survey