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 ...

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 ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

ABSTRACT: The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo ...

THIS is a good elementary text-book, founded on the work by M. E. Lagout (“Takimetry”), which we have already noticed (NATURE, vol. xvi. p. 226). The ground covered by the work before us is not quite ...

An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...

Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; general methodological problems of science, of induction and probability, ...

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 ...