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

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

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...

THIS book, by two American teachers of philosophy, helps to show how far the best representatives of logic in modern universities have travelled from the Aristotelian tradition which formerly ...

Google announces upgrade to Bard chatbot, enhancing math and logic capabilities with PaLM integration. Google has upgraded Bard's math and logic capabilities by incorporating advancements from PaLM.