Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Examines the relations between logic and philosophy over the last 150 years. This mathematical and philosophical movement created the analytical style of philosophy. This book is... Læs mere
Bemærk: Kan ikke leveres før jul.
This work provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, two expositions of Godel's... Læs mere
Bemærk: Kan ikke leveres før jul.
This 2010 comprehensive overview of relational mathematics provides an easy introduction to the topic, but is nevertheless theoretically sound and up-to-date. Assuming a minimum... Læs mere
Bemærk: Kan ikke leveres før jul.
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a... Læs mere
Bemærk: Kan ikke leveres før jul.
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area.
Bemærk: Kan ikke leveres før jul.
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points are presented in an engaging fashion and furthered by the aid of... Læs mere
Bemærk: Kan ikke leveres før jul.
Highlights of this 2007 volume from the Annual European Meeting of the ASL include three papers on different aspects of connections between model theory and algebra; a survey of... Læs mere
Bemærk: Kan ikke leveres før jul.
The study of graph structure has advanced with great strides. This book unifies and synthesizes research over the last 25... Læs mere
Bemærk: Kan ikke leveres før jul.
Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.
Bemærk: Kan ikke leveres før jul.
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and... Læs mere
Bemærk: Kan ikke leveres før jul.
Intended for specialists in functional analysis and stability theory, this work presents a systematic exposition of estimations for... Læs mere
Bemærk: Kan ikke leveres før jul.
Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between... Læs mere