"Formal Logic: Its Scope and Limits" von Richard C. Jeffrey ist ein einflussreiches Lehrbuch, das sich mit den Grundlagen der formalen Logik befasst. Das Buch bietet eine umfassende Einführung in die Prinzipien und Techniken der...

This third edition of Computability and Logic has been corrected and contains thoroughly revised versions of the chapters on Ramsey and probability, with new exercises provided for three other chapters. There are also two new chapters...