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 ...
This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, ...
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: 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 ...
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
Learn more about the history, foundations, and applications of fuzzy logic in this comprehensive resource by an academic leader Introduction to Fuzzy Logic delivers a high-level but accessible ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback