Mathematical Logic and Theoretical Computer Science

Discover the intricate world of Mathematical Logic and Theoretical Computer Science by Kueker, published by Taylor & Francis Inc in 1986. This comprehensive volume spans 408 pages and delves into essential topics such as denotational semantics, recursion theory, model theory, and algebra. The book also explores automath and automated reasoning, stability theory, topoi in mathematics, and their implications in logic.

Designed for both mathematical logicians and computer scientists, this text serves as a valuable resource for those looking to deepen their understanding of the connections between logic and computer science. Whether you are a student, researcher, or professional in the field, this book will enhance your knowledge and inspire new ideas in mathematical and symbolic logic.