"Contains more on second-order logic than is readily available in any other textbook or survey. Philosophically, the book also contains many words of wisdom." --Journal of Symbolic Logic
"The most comprehensive all-round account and defense of second-order logic as a vehicle for mathematics known to the reviewer. It is also very comprehensively documented with a large bibliography and a wealth of interesting material in the numerous footnotes." --Mathematical Reviews
"An excellent book, covering all of the main results in second-order logic and its applications to mathematical theories. There is a great wealth of material about second-order logic in this book. . . . it is really an excellent book, and . . . the author is to be commended for a job well done." --Notre Dame Journal of Formal Logic
About the Author
Stewart Shapiro is Professor of Philosophy at Ohio State University.