Herbert B. Enderton wrote the standard university textbook on mathematical logic. At Yale I worked through this dense and enlightening work with the help of the remarkable professor Sun-Joo Shin. I ...

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

ABSTRACT: This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and ...

Abstract: Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative ...

ABSTRACT: In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization ...

remove-circle Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see ...

Given the importance of recursion in modern linguistics, there ought to be much to commend in Watumull et al.'s (2014) attempt to clarify what recursion is (or ought to be); I have trudged this very ...

A survey of contemporary topics in mathematics such as: voting systems and power, apportionment, fair division of divisible and indivisible assets, efficient distribution, scheduling and routing, ...