Mathematics : Logic

Logic eBooks

You have selected the subject of Logic. The eBooks in this subject are listed below.

RESULTS: 1 to 10 of 65
PAGE: 1 | 2 | 3 | 4 | 5 | 6 | 7 | ›› Next

Logic For Dummies®
By: Zegarelli, Mark
Published by: For Dummies

Features real-world examples and worked-out proofs. Clarify your thinking and apply logic to everyday life. Looking to learn logic, but feel lost? Relax! This friendly guide explains logic concepts in plain English, from proofs, predicate logic, and paradox to symbolic logic, semantic structures, and syllogisms. more...

Price: $19.99

A Primer of Infinitesimal Analysis
By: Bell, John L.
Published by: Cambridge University Press

A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal. more...

Price: $48.00

Mad Math for Middle School Students Book 3
By: Mitchell, Greg; Mitchell, Katie; Allen, Terry (ill.)
Published by: Ready-Ed Publications

Blackline master math activity book jam packed with adventures of monsters, mad types and misfits in a mad and magical mathematical land. Will provide a high level of interest for students as they work through the problems in this book. The problem solving activities will prove thoroughly stimulating to the children in your class. more...

Price: $7.95

Analysis and Synthesis of Logics
By: Carnielli, Walter A.; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
Published by: Springer

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (forinstance, temporal, epistemic and probabilistic logics). more...

Price: $199.00

Andrzej Mostowski and Foundational Studies
By: Ehrenfeucht, A. (ed.); Marek, V.W. (ed.); Srebrny, M. (ed.)
Published by: IOS Press

Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings. more...

Price: $130.00

Applied Logistic Regression
By: Hosmer, David W. Jnr; Lemeshow, Stanley
Published by: John Wiley & Sons, Inc. (US)

From the reviews of the First Edition. ''An interesting, useful, and well-written book on logistic regression models . . . Hosmer and Lemeshow have used very little mathematics, have presented difficult concepts heuristically and through illustrative examples, and have included references. more...

Price: $132.95

Automated Reasoning with Analytic Tableaux and Related Methods
By: Olivetti, Nicola (ed.)
Published by: Springer

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. The 14 revised research papers presented together with 2 system descriptions as well as 3 invited talks were carefully reviewed and selected from 43 submissions. The papers cover many topics in the wide range of logics; from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, from classical first-order logic to description logics. Some contributions are focused on decision procedures, others on efficient reasoning, as well as on implementation of theorem provers. A few papers explore applications such as model-checking, verification, or knowledge engineering. Finally some contributions make use of tableaux as a tool for theoretical investigation of logics. more...

Price: $64.95