Books

20+ results found
Title Authors Description OpenBook ID
Symbolic Logic, Part I, Elementary Symbolic Logic, Part I, Elementary Lewis Carroll Symbolic Logic, Part I OL10333062W
Quantifiers, propositions, and identity Quantifiers, propositions, and identity Robert Goldblatt "Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible s… OL15991521W
Giuseppe Peano between mathematics and logic Giuseppe Peano between mathematics and logic Fulvia Skof Contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino U… OL16485421W
Predicate Logic (Introduction to Logic) Predicate Logic (Introduction to Logic) Howard Pospesel xv, 282 p. : 23 cm. + OL18239814W
Levels of abstraction in logic and human action Levels of abstraction in logic and human action Roland O. Gibson,Elliott Jaques vi, 313 p. : 23 cm OL19501444W
Linear Logic in Computer Science Linear Logic in Computer Science Philip Scott,Jean-Yves Girard This book illustrates linear logic in the application of proof theory to computer science. OL19812712W
Abductive Reasoning and Learning Abductive Reasoning and Learning Dov M. Gabbay This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intel… OL19823432W
Algorithms: Main Ideas and Applications Algorithms: Main Ideas and Applications Vladimir Uspensky The theory of algorithms not only answers philosophical questions but also is eminently applicable to practical computing, as well as to software and hardware design. This book presents exact mathema… OL19825595W
Analysis and Evaluation of Fuzzy Systems Analysis and Evaluation of Fuzzy Systems Akira Ishikawa Fuzzy knowledge and fuzzy systems affect our lives today as systems enter the world of commerce. Fuzzy systems are incorporated in domestic appliances (washing machine, air conditioning, microwave, t… OL19826268W
Boolean Functions and Computation Models Boolean Functions and Computation Models Peter Clote This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the structure of "fast" par… OL19831948W
Domains and Processes Domains and Processes Klaus Keimel Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain… OL19843951W
Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering Larisa Angstenberger Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering focuses on fuzzy clustering methods which have proven to be very powerful in pattern recognition and considers the entir… OL19844411W
Extremal Combinatorics Extremal Combinatorics Stasys Jukna The book is a concise, self-contained and up-to-date introduction to extremal combinatorics for non-specialists. Strong emphasis is made on theorems with particularly elegant and informative proofs w… OL19849229W
Formal Aspects of Context Formal Aspects of Context Pierre Bonzon The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presente… OL19850808W
Formal Descriptions of Developing Systems Formal Descriptions of Developing Systems Irina Trofimova A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase… OL19850812W
The Foundational Debate The Foundational Debate Werner Depauli-Schimanovich Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, cons… OL19850972W
Fuzzy Sets, Logics and Reasoning about Knowledge Fuzzy Sets, Logics and Reasoning about Knowledge Didier Dubois Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and co… OL19852056W
Fuzzy Set Theory Fuzzy Set Theory R. Lowen This book introduces the reader to basic concepts and techniques in the field of fuzzy sets and gives a vast and up-to-date account of the literature. It distinguishes itself from most other works in… OL19852059W
Gnomes in the Fog Gnomes in the Fog Dennis E. Hesseling The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in the history of mathem… OL19853147W
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Peter B. Andrews In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with p… OL19859073W
Next page